Back to Results
First PageMeta Content
Data types / Functional programming / Computing / Program analysis / Type system / Vehicle Identification Number / Monad / Type inference / Type theory / Software engineering / Programming language theory


Algebraic Reconstruction of Types and E ects Pierre Jouvelot1 2 David K. Gi ord2 ; Ecole des Mines de Paris1
Add to Reading List

Document Date: 2013-07-14 14:56:24

Open Document

File Size: 195,00 KB

Share Result on Facebook

City

L. A. / New York / Lincoln / /

Company

MIT Laboratory / P S A / 8D / /

Currency

pence / /

Facility

Massachusetts Institute of Technology / Edinburgh University / Mines de Paris1 MIT Laboratory / /

IndustryTerm

ect systems / algebraic reconstruction algorithm / simpler polynomial algorithm / parallel computing / type reconstruction systems / Contemporary type reconstruction systems / cation algorithm / type systems / structural reconstruction systems / uni cation algorithm / reconstruction algorithm / type reconstruction algorithm / rst algorithm / reconstruction systems / /

NaturalFeature

mT mT / /

Organization

Edinburgh University / MIT / Massachusetts Institute of Technology / Stanford / /

Person

James O'Toole / Hans Boehm / Michael Blair / Vincent Dornic / Mark Sheldon / Della Rocca / David McAllester / Jean-Pierre Talpin / /

Position

programmer / /

ProgrammingLanguage

Lisp / ML / K / /

ProvinceOrState

New York / Massachusetts / /

TVStation

Wand / /

Technology

alpha / ACUI-uni cation algorithm / Functional Programming / rst algorithm / type reconstruction algorithm / simpler polynomial algorithm / algebraic reconstruction algorithm / reconstruction algorithm / uni cation algorithm / /

SocialTag