Searching for authors named "Derek Dreyer" – sorted by Relevance.
18 documents found, showing 1 through 10.
Next 10 →
-
A Type System for Recursive Modules
- … and Garrigue 2006). [Copyright notice will appear here once ’preprint’ option is removed.] Derek Dreyer Toyota…
- Cited by 2 (1 self) – Add To MetaCart
-
Mixin’ Up the ML Module System
- … will appear here once ’preprint’ option is removed.] Derek Dreyer Andreas Rossberg Max Planck Institute…
- Add To MetaCart
-
Principal type schemes for modular programs
- …Principal Type Schemes for Modular Programs Derek Dreyer and Matthias Blume Toyota Technological…
- Cited by 9 (8 self) – Add To MetaCart
-
Understanding and Evolving the ML Module System
- …Understanding and Evolving the ML Module System Derek Dreyer May 2005 CMU-CS-05-131 School…
- Cited by 29 (8 self) – Add To MetaCart
-
Modular Type Classes
- …Derek Dreyer Toyota Technological Institute at Chicago dreyer@(email omitted); Abstract ML modules…
- Add To MetaCart
-
unknown title
- … A Type System for Well-Founded Recursion Derek Dreyer Robert Harper Karl Crary July 2003 CMU…
- Add To MetaCart
-
Efficient Recursion in the Presence of Effects
- … permission and/or a fee. Derek Dreyer Robert Harper Karl Crary School of Computer Science Carnegie Mellon…
- Add To MetaCart
-
A type system for well-founded recursion
- …A Type System for Well-Founded Recursion Derek Dreyer Robert Harper Karl Crary July 2003 CMU-CS-03…
- Cited by 20 (4 self) – Add To MetaCart
-
A type system for higher-order modules (expanded version
- …A Type System for Higher-Order Modules (Expanded Version) Derek Dreyer Karl Crary Robert Harper…
- Cited by 3 (2 self) – Add To MetaCart
-
A Type System for Higher-Order Modules
- …A Type System for Higher-Order Modules # Derek Dreyer Karl Crary Robert Harper School of Computer…
- Cited by 64 (16 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
