This work is about an experimental paradigmatic functional language for programming with P-TIME functions. The language is designed from Intuitionistic Light Affine Logic. It can be typed automatically by a type inference algorithm that deduces polymorphic types a la ML.
Light Affine Logic as a Programming Language: a First Contribution
ROVERSI, Luca
2000-01-01
Abstract
This work is about an experimental paradigmatic functional language for programming with P-TIME functions. The language is designed from Intuitionistic Light Affine Logic. It can be typed automatically by a type inference algorithm that deduces polymorphic types a la ML.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
Roversi2000IJFCS.pdf
Accesso riservato
Tipo di file:
POSTPRINT (VERSIONE FINALE DELL’AUTORE)
Dimensione
357.51 kB
Formato
Adobe PDF
|
357.51 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
