Abstract
No abstract available.
Cited By
- Delbianco G and Nanevski A (2013). Hoare-style reasoning with (algebraic) continuations, ACM SIGPLAN Notices, 48:9, (363-376), Online publication date: 12-Nov-2013.
- Delbianco G and Nanevski A Hoare-style reasoning with (algebraic) continuations Proceedings of the 18th ACM SIGPLAN international conference on Functional programming, (363-376)
- Tobin-Hochstadt S and Felleisen M The design and implementation of typed scheme Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (395-406)
- Tobin-Hochstadt S and Felleisen M (2008). The design and implementation of typed scheme, ACM SIGPLAN Notices, 43:1, (395-406), Online publication date: 14-Jan-2008.
Index Terms
- The seasoned Schemer
Please enable JavaScript to view thecomments powered by Disqus.