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

Author / Creator

Harper, Robert, 1957-

Available as

Physical

Summary

Abstract: "We describe a module system for Elf, a logic programming language based on the LF logical framework. The static part of module calculus addresses name-space management and structured pre...

Abstract: "We describe a module system for Elf, a logic programming language based on the LF logical framework. The static part of module calculus addresses name-space management and structured presentation of deductive systems. The dynamic part addresses search-space management and modularization of logic programs."

Show More