User loginNavigation |
archivesRecords, sums, cases, and exceptions: Row-polymorphism at workVideo: Records, sums, cases, and exceptions: Row-polymorphism at work, Matthias Blume.
Found this to be an enjoyable and thorough overview of MLPolyR, a language created for a PL course that goes all-out on various dimensions of row polymorphism, resulting in a small yet powerful language. (previously) By Manuel J. Simoni at 2012-11-01 10:12 | Implementation | Type Theory | 4 comments | other blogs | 19945 reads
Axiomatic LanguageAxiomatic Language was mentioned on LtU long ago, but with our recent paper A Tiny Specification Metalanguage [Wilson & Lei, SEKE 2012], we thought a new post would be in order:
Axiomatic language requires solving the difficult problem of automatic synthesis of efficient programs from specifications. Is there any hope for this? |
Browse archivesActive forum topics |
Recent comments
2 days 5 hours ago
2 days 9 hours ago
2 days 9 hours ago
22 weeks 3 days ago
26 weeks 5 days ago
28 weeks 2 days ago
28 weeks 2 days ago
31 weeks 13 hours ago
35 weeks 4 days ago
35 weeks 5 days ago