I wrote a toy dep-typed prog lang and I'm struggling to add metavars/implicit args. Any recommended reading on the subject? @edwinbrady
-
-
Replying to @strout
@strout Not an awful lot, sadly, which is one reason I wrote http://eb.host.cs.st-andrews.ac.uk/drafts/impldtp.pdf …. There's also good stuff in http://adam.gundry.co.uk/pub/thesis/1 reply 0 retweets 1 like
@strout Also Ulf's thesis: http://www.cse.chalmers.se/~ulfn/papers/thesis.pdf …
1:35 AM - 14 Jul 2015
0 replies
0 retweets
1 like
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.