LeFun(ID:1334/lef002)
- Country: us
- Began: 1987
- Published: 1987
MCC, Austin. Integration of logic and functional programming
People:
Structures:
Related languages
LeFun |
=> |
LIFE | |
Derivation of |
References:
Ait-Kaci H. et al, "LeFun: Logic, Equations and Functions", Proc 1987 Symp on Logic Programming, San Francisco. view details
|