Author:
Cousineau Guy,Curien Pierre-Louis,Mauny Michel,Suárez Ascánder
Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. N.G. De Bruijn, Lambda-calculus Notation with Nameless Dummies, a Tool for Automatic Formula Manipulation, Indag Math. 34, 381–392 (1972).
2. L. Cardelli, ML under Unix, Polymorphism, Vol. I,3 (Dec. 1983).
3. L. Cardelli, Compiling a Functional Language, Proc. ACM Conf. on Lisp and Functional Programming, Austin (1984).
4. G. Cousineau, P-L. Curien, M. Mauny, The Categorical Abstract Machine, Symposium on Functional Programming Languages and Computer Architecture, Nancy sept. 85, Lect. Notes in Comput. Sci. 201 (1985) (version longue à paraître dans Science of Computer Programming).
5. G. Cousineau, P-L. Curien, M. Mauny, The Categorical Abstract Machine (version longue). A paraître dans Sci. of Comput. Prog.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献