Implementing functional languages in the Categorical Abstract Machine

Authors:
Michel Mauny;Ascánder Suárez
Affiliations:
INRIA, Domaine de Voluceau, Rocquencourt B.P. 105, F-78153 Le Chesnay Cedex, France;INRIA, Domaine de Voluceau, Rocquencourt B.P. 105, F-78153 Le Chesnay Cedex, France
Venue:
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
Year:
1986

The categorical abstract machine

Proc. of a conference on Functional programming languages and computer architecture
Functional Programming

Functional Programming
A proposal for standard ML

LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
Compiling a functional language

LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming

Comparing Two Functional Programming Systems

IEEE Transactions on Software Engineering
Codatatypes in ML

Journal of Symbolic Computation
Compilation of functional languages by program transformation

ACM Transactions on Programming Languages and Systems (TOPLAS)
Comparison of priority rules in pattern matching and term rewriting

Journal of Symbolic Computation
Data movement optimisation in point-free form

AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology

Hi-index	0.00