Modules Papers Save Abandoned

A collection of papers on modules.

Project README
Title Authors Date
Logical Relations as Types: Proof-Relevant Parametricity for Program Modules Sterling, Harper Draft paper, Jul 2020
A Focused Solution to the Avoidance Problem Crary Journal of Functional Programming, to appear, 2020
Fully Abstract Module Compilation Crary POPL 2019
The Geometry of Interaction as a Module System Schöpp 2018
Modules, abstraction, and parametric polymorphism Crary POPL 2017
Defunctionalisation as Modular Closure Conversion Schöpp PPDP 17
1ML with Special Effects Rossberg WadlerFest 2016
1ML — core and modules united Rossberg Submitted to JFP 2016
F-ing Modules Rossberg, Russo, Dreyer TLDI 2010
A practical module system for LF Rabe, Schürmann LFMTP '09
Mixin' Up the ML Module System Dreyer, Rossberg ICFP 2008
Modular type classes Dreyer, Harper, Chakravarty, Keller POPL 2007
A Type System for Recursive Modules Dreyer ICFP 2007
From Structures and Functors to Modules and Units Owens, Flatt ICFP 2006
ML Module Mania: A Type-Safe, Separately Compiled, Extensible Interpreter Ramsey 2006
ML Modules and Haskell Type Classes: A Constructive Comparison Wehr Master thesis, 2005
Recursive Type Generativity Dreyer JFP 2007, previously in ICFP 2005
Understanding and Evolving the ML Module System Dreyer PhD thesis, 2005
Higher-order modules in System Fω and Haskell Shan 2004
A Type System for Higher-Order Modules Dreyer, Crary, Harper POPL 2003
Recursive Structures for Standard ML Russo ICFP 2001
A modular module system Leroy JFP 2000
A Type-Theoretic Interpretation of Standard ML Harper, Stone Milner Festschrift, 2000
What is a Recursive Module? Crary, Harper, Puri PLDI 1999
Non-Dependent Types for Standard ML Modules Russo PPDP 1999
Types For Modules Russo PhD thesis, 1998
Units: Cool Modules for HOT Languages Flatt, Felleisen PLDI 1998
An Interpretation of Standard ML in Type Theory Harper, Stone Tech Report, 1997
Applicative Functors and Fully Transparent Higher-Order Modules Leroy POPL 1995
A category-theoretic account of program modules Moggi 1994
A Type-Theoretic Approach to Higher-Order Modules with Sharing Harper, Lillibridge POPL 1994
Manifest Types, Modules, and Separate Compilation Leroy POPL 1994
Higher-order modules and the phase distinction Harper, Mitchell, Moggi 1990
On the Type Structure of Standard ML Harper, Mitchell TOPLAS 1993, originally in POPL 1988
Using Dependent Types to Express Modular Structure MacQueen POPL 1986
Abstract Types Have Existential Type Mitchell, Plotkin TOPLAS 1988, originally in POPL 1985
Open Source Agenda is not affiliated with "Modules Papers" Project. README Source: ak3n/modules-papers
Stars
79
Open Issues
0
Last Commit
3 years ago
Tags
Modules Papers Programming Language Theory Type Theory

Open Source Agenda Badge

Open Source Agenda Rating
Submit Review Review Your Favorite Project
Submit Resource Articles, Courses, Videos
Submit Article Submit a post to our blog

From the blog

Dec 11, 2022

How to Choose Which Programming Language to Learn First?

From the blog

Dec 11, 2022

How to Choose Which Programming Language to Learn First?