User loginNavigation |
Levy: a Toy Call-by-Push-Value LanguageAndrej Bauer's blog contains the PL Zoo project. In particular, the Levy language, a toy implementation of Paul Levy's CBPV in OCaml. If you're curious about CBPV, this implementation might be a nice accompaniment to the book, or simply a hands on way to check it out. It looks like an implementation of CBPV without sum and product types, with complex values, and without effects. I guess a more hands-on way to get to grips with CBPV would be to implement any of these missing features. The posts are are 3 years old, but I've only just noticed them. The PL Zoo project was briefly mentioned here. By Ohad Kammar at 2011-07-14 18:57 | Fun | Functional | Implementation | Lambda Calculus | Paradigms | Semantics | Teaching & Learning | Theory | other blogs | 33285 reads
|
Browse archivesActive forum topics |
Recent comments
1 week 6 days ago
4 weeks 13 hours ago
13 weeks 2 days ago
13 weeks 4 days ago
13 weeks 5 days ago
20 weeks 5 days ago
26 weeks 3 days ago
26 weeks 4 days ago
27 weeks 3 days ago
30 weeks 2 days ago