A functional language LambdaLAL, endowed with automatic type inference, is given. The types for LambdaLAL are formulas of Light Affine Logic with polymorphism a la ML. The language LambdaLAL is a notation to write P-TIME programs.
Concrete Syntax for Intuitionistic Light Affine Logic with Polymorphic Type Assignment
ROVERSI, Luca
1998-01-01
Abstract
A functional language LambdaLAL, endowed with automatic type inference, is given. The types for LambdaLAL are formulas of Light Affine Logic with polymorphism a la ML. The language LambdaLAL is a notation to write P-TIME programs.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
