CiteSeer.IST Home  Related articles for:  What is a Recursive Module? - Crary   (Correct)

Active bibliography (related documents):
0.5:   What is a Recursive Module? - Crary, Harper, Puri (1999)   (Correct)
0.5:   A Calculus of Module Systems - Ancona, Zucca (2001)   (Correct)
0.5:   Principles and a Preliminary Design for ML2000 - Group (1999)   (Correct)
0.2:   Four Practical Attacks for "Optimistic Mixing for Exit-Polls" - Wikström (2003)   (Correct)
0.2:   Elements in .... are Dangerous - Wikström (2003)   (Correct)
0.2:   How to Break, Fix, and Optimize "Optimistic Mix for Exit-Polls" - Wikström (2002)   (Correct)
0.2:   Toward a Practical Type Theory for Recursive Modules - Dreyer, Harper, Crary (2001)   (Correct)
0.1:   Confluent Equational Reasoning for Linking with First-Class .. - Wells, Vestergaard (1999)   (Correct)
0.1:   Equational Reasoning for Linking with First-Class Primitive.. - Wells, Vestergaard (2000)   (Correct)
0.1:   Abstractions for Component-Based Programming with Dynamic.. - Dominic Duggan Dept (2001)   (Correct)
0.1:   Type-Safe Linking with Recursive DLLs and Shared Libraries - Duggan (2001)   (Correct)
0.1:   Type-Safe Linking and Modular Assembly Language - Glew, Morrisett (1999)   (Correct)
0.1:   A Type System for Higher-Order Modules (Expanded Version) - Dreyer, Crary, Harper (2002)   (Correct)
0.1:   Modular Formal Frameworks for Module Systems - Ancona (1998)   (Correct)
0.1:   Dynamic Typing for Distributed Programming in Polymorphic Languages - Duggan (1996)   (Correct)
0.1:   A Theory of Modules with State - Ancona, Zucca (1998)   (Correct)
0.1:   Tree Automata Techniques and Applications -.. - Comon, Dauchet.. (1998)   (Correct)
0.1:   Mathematical Knowledge Management in Foc - Hardin (2001)   (Correct)
0.1:   Tree Automata Techniques and Applications -.. - Comon, Dauchet.. (1998)   (Correct)
0.1:   Tree Automata Techniques and Applications -.. - Comon, Dauchet.. (1998)   (Correct)

Similar documents based on text:
0.3:   Translucent Sums: A Foundation for Higher-Order Module Systems - Lillibridge (1996)   (Correct)
0.3:   A Type System for Higher-Order Modules - Dreyer, Crary, Harper (2003)   (Correct)
0.3:   An Exploration of Modular Programs - Nicklisch, Jones (1996)   (Correct)
0.3:   Mixin Modules - Sourelis (1995)   (Correct)

System load high. Please wait...
Timeout. Please try your query later.
No related articles found with co-citation.

CiteSeer.IST - Copyright Penn State and NEC