Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- ArticleMay 2016
A CLOS Protocol for Editor Buffers
ELS2016: Proceedings of the 9th European Lisp Symposium on European Lisp SymposiumArticle No.: 3, Pages 21–28We introduce the abstract concept of rational type expression and show its relationship to rational language theory. We further present a concrete syntax, regular type expression, and a Common Lisp implementation thereof which allows the programmer to ...
- ArticleMarch 1977
Aspects of applicative programming for file systems (Preliminary Version)
Proceedings of an ACM conference on Language design for reliable softwarePages 41–55https://doi.org/10.1145/800022.808310This paper develops the implications of recent results in semantics for applicative programming. Applying suspended evaluation (call-by-need) to the arguments of file construction functions results in an implicit synchronization of computation and ...
Also Published in:
ACM SIGPLAN Notices: Volume 12 Issue 3ACM SIGOPS Operating Systems Review: Volume 11 Issue 2ACM SIGSOFT Software Engineering Notes: Volume 2 Issue 2