Modeling Abstract Types in Modules with Open Existential Types

Cached

Download Links

by Benoît Montagu , Didier Rémy
Citations:15 - 1 self

Active Bibliography

A Logical Account of Type Generativity: Abstract types have open existential types – Benoît Montagu, Didier Rémy - 2008
A Mixin ’ Up the ML Module System – Andreas Rossberg Google
16 Mixin’ Up the ML Module System – Derek Dreyer, Andreas Rossberg
Thesis Proposal: Effective Type Theory for Modularity – Derek Dreyer, Peter Lee - 2002
16 Toward a Practical Type Theory for Recursive Modules – Derek R. Dreyer, Robert Harper, Karl Crary - 2001
2 Mixin modules, modules and extended value binding in a call-by-value setting – Tom Hirschowitz - 2003
A module system with applicative functors and recursive path references – Keiko Nakata
14 A Type System for Recursive Modules – Derek Dreyer
69 Types for Modules – Claudio V. Russo - 1998
83 A Type System for Higher-Order Modules – Derek Dreyer, Karl Crary, Robert Harper - 2003
43 Understanding and Evolving the ML Module System – Derek Dreyer, Peter Lee - 2005
4 A Syntactic Type System for Recursive Modules – Hyeonseung Im, Keiko Nakata, Jacques Garrigue, Sungwoo Park
True Higher-Order Modules, Separate Compilation, and Signature Calculi ∗ – George Kuan - 2009
28 Transparent Modules with Fully Syntactic Signatures – Zhong Shao - 1999
13 The Missing Link -- Dynamic Components for ML – Andreas Rossberg - 2006
1 Towards a Simpler Account of Modules and Generativity: Abstract Types have Open Existential Types. – Benoît Montagu
18 An open and shut typecase – Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich - 2004
and – Andreas Rossberg, Claudio Russo, Derek Dreyer - 2013
and – Andreas Rossberg, Claudio Russo, Derek Dreyer - 2013