Open Modules: Modular Reasoning About Advice 论文

2005Lecture notes in computer science引用 235
Advanced Software Engineering MethodologiesSoftware Engineering ResearchLogic, programming, and type systems