Gianfranco Prini

According to our database, Gianfranco Prini authored at least 5 papers between 1976 and 1981.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1981

An Efficient Interpreter for the Lambda-Calculus.

Luigia Carlucci Aiello, Gianfranco Prini

J. Comput. Syst. Sci., 1981

1979

Stack Implementation of Shallow Binding in Languages with Mixed Scoping.

Gianfranco Prini

Inf. Process. Lett., 1979

1977

Towards a More Declarative Programming Style.

Luigia Aiello, Giuseppe Attardi, Gianfranco Prini

Proceedings of the Formal Description of Programming Concepts: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, 1977

1976

Formal Definition of Semantics of Generated Control Regimes.

Luigia Carlucci Aiello, Mario Aiello, Giuseppe Attardi, P. Cavallari, Gianfranco Prini

Proceedings of the Mathematical Foundations of Computer Science 1976, 1976

A High Level Machine for Artificial Intelligence.

Giuseppe Attardi, Carlo Montangero, Gianfranco Prini

Proceedings of the Summer Conference on Artificial Intelligence and Simulation of Behaviour, Edinburgh, UK, 12th, 1976