Changes between Version 116 and Version 117 of WikiStart


Ignore:
Timestamp:
Nov 29, 2010, 4:29:07 AM (9 years ago)
Author:
benl
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v116 v117  
    7676 * [http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.69.7871 The FX language] The original effect typing system. //Gifford, Jouvelot et al//. (inactive)
    7777 * [http://cyclone.thelanguage.org/ Cyclone] A type safe dialect of C using region typing. //Grossman, Hicks, Jim, Morrisett, Swamy, Wang et al//. (active)
     78 * [http://www.it-c.dk/research/mlkit/index.php/Main_Page MLKit] A ML compiler using region typing. //Elsman, Hallenberg, Varming, Tofte, Birkedal et al//. (active)
    7879
    7980==== Recent Papers ====
     81
     82==== Key Papers ====
     83 * [http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.73.4916 Polymorphic Effect Systems]. Foundations for region and effect typing. //Lucassen, Gifford//, 1988.
     84 * [http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.54.5309 The Type and Effect Discipline]. Core of DDC's type inference algorithm, and namesake. //Talpin, Jouvelot//, 1992.
     85 * [http://gallium.inria.fr/~xleroy/publi/phd-thesis.pdf Polymorphic Typing of an Algorithmic Language]. Foundations for closure typing. //Leroy//, 1992.
     86 * [http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1.3704 The Calculus of Capabilities]. Foundations for DDC's core language. //Walker, Crary, Morrisett//, 2000.