Attività di ricerca di Piperno, Adolfo

Lambda-calculus, Functional Programming.

His research interests are centred on lambda-calculus and its application to the practice of functional
programming. He has worked on abstraction algorithms for Combinatory Logic and characterisation of
solvable combinatory equations and systems. He collaborated to the development of the CuCh machine,
the implementation of a prototypical functional programming language, which is based on the methods
for solving combinatory equations. He also studied extensions of lambda-calculus, obtained by adding
parallel and non-deterministic operators. His current research interest is concerned with type systems
for programming languages.


 

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma