-
Modular development of theories and name-space management for the Coq proof a...
Proof assistants offer a formal framework for formalizing and mechanically checking mathematical knowledge. Moreover, due to the numerous applications that follow from... -
Modules for Prolog Revisited
Module systems are an essential feature of programming languages as they facilitate the re-use of existing code and the development of general purpose libraries.... -
Closures are Needed for Closed Module Systems
In a classical paper of D.H.D. Warren, the higher-order extensions of Prolog were questioned as they do not really provide more expressive power than meta-programming...
