1. Home
  2. Computer
  3. Programmin­g
  4. Elf Meta-Language

Computer · Programmin­g

Elf Meta-Language

Listed in the directory · updated 20 Jul 2022

Visit website

Find them on

Share

About Elf Meta-Language

Elf Meta-Language- Constraint-logic programming language based on LF Logical Framework; a uniform meta-language for specifying, implementing, and proving properties of programming languages and logics that is implemented as an interpreter in Standard ML.

Tags

Dylan

Where it sits

Computer Programmin­g

More in Programmin­g

See all →