Gianfranco Prini

Publication Activity (10 Years)

Years Active: 1976-1981
Publications (10 Years): 0

Publications

Luigia Carlucci Aiello, Gianfranco Prini
An Efficient Interpreter for the Lambda-Calculus. J. Comput. Syst. Sci. 23 (3) (1981)
Gianfranco Prini
Stack Implementation of Shallow Binding in Languages with Mixed Scoping. Inf. Process. Lett. 9 (3) (1979)
Luigia Aiello, Giuseppe Attardi, Gianfranco Prini
Towards a More Declarative Programming Style. Formal Description of Programming Concepts (1977)
Luigia Carlucci Aiello, Mario Aiello, Giuseppe Attardi, P. Cavallari, Gianfranco Prini
Formal Definition of Semantics of Generated Control Regimes. MFCS (1976)
Giuseppe Attardi, Carlo Montangero, Gianfranco Prini
A High Level Machine for Artificial Intelligence. AISB (ECAI) (1976)