The categorical abstract machine-Reference-Cited by-同舟云学术

The categorical abstract machine

Published:1985 Issue: Volume: Page:50-64
ISSN:0302-9743
Container-title:Functional Programming Languages and Computer Architecture
language:
Short-container-title:

Author:

Cousineau G.,Curien P-L.,Mauny M.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-15975-4_29.pdf

Reference15 articles.

1. G. Berry, P.L. Curien, The Kernel of the Applicative Language CDS: Theory and Practice, Proc. French-US Seminar on the Applications of Algebra to Language Definition and Compilation, Fontainebleau (Juin 1982), Cambridge University Press (1984).

2. N.G. De Bruijn, Lambda-calculus Notation with Maeless Dummies, a Tool for Automatic Formula Manipulation, Indag Math. 34, 381–392 (1972).

3. L. Cardelli. ML under Unix, Polymorphism, Vol. I,3 (Dec. 1983).

4. L. Cardelli, Compiling a Functional Language, Proc. ACM Conf. on Lisp and Functional Programming, Austin (1984).

5. L. Cardelli, The Amber Machine, to appear.

Cited by 48 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Applicative approach to construe a computational model of concepts and individuals;Procedia Computer Science;2022

2. Cognitive System to Clarify the Semantic Vulnerability and Destructive Substitutions;Procedia Computer Science;2021

3. A Mathematical Model of the Feature Variability;Procedia Computer Science;2021

4. Imposing and Superposing the Information Processes over Variable Concepts;Brain-Inspired Cognitive Architectures for Artificial Intelligence: BICA*AI 2020;2020-12-09

5. An abstract monadic semantics for value recursion;RAIRO - Theoretical Informatics and Applications;2004-10