A module system for a programming language based on the LF logical framework

DOI10.1093/logcom/8.1.5zbMath0902.68031OpenAlexW2100758996MaRDI QIDQ4399511

Robert Harper, Frank Pfenning

Publication date: 28 July 1998

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/5f5f32d369dec8de96fdfbddd78059d0165183a4

zbMATH Keywords

ElfLF logical framework

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items

Structured theory presentations and logic representations, Functorial semantics of first-order views

Uses Software

• IMPS
• Elf