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 | 19357 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
8 weeks 3 days ago
8 weeks 5 days ago
8 weeks 6 days ago
15 weeks 6 days ago
21 weeks 4 days ago
21 weeks 5 days ago
22 weeks 4 days ago
25 weeks 2 days ago
26 weeks 5 days ago
26 weeks 5 days ago