We shipped a paper, to appear in PLMMS 2013. Here it is: http://edwinb.wordpress.com/2013/06/25/sequential-decision-problems-dependently-typed-solutions/ …
12:49 PM - 25 Jun 2013
0 replies
2 retweets
3 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.