H ? « ‹ ← → › »

Language peer sets for ELF:
United States↑
United States/1972↑
Designed 1972 ↑
1970s languages ↑
Third generation↑
High Cold War↑

ELF(ID:2002/elf001)

alternate simple view
Country: United States
Designed 1972

for LF Logical Framework

Constraint language based on the LF Logical framework. It is a uniform Meta-language for specifing, implementing and providing properties of programming languages and logics.

based on the theory of dependent types, has a logic programming interpretation in
order to support search and the implementation of other algorithms (e.g.
evaluation or compilation in programming languages).  
Related languages
ELF → Prolog-ELF   Incorporated some features of

Resources
Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder