![](https://www.pdfsearch.io/img/c151c431ec3035b805a469f917f1ad3f.jpg)
| Document Date: 2013-11-17 14:08:18 Open Document File Size: 947,71 KBShare Result on Facebook
City Paris / / Company II Type Systems / Inria Doctorat Informatique Type Systems / System Lc / I Type Systems / Usual 23 3 Existing Type Systems / / IndustryTerm concrete type systems / theoretical type systems / / Organization Paris Centre Équipe Gallium / Eta / / Person Julien Cretin / Didier Rémy / Stephanie Weirich Examinateurs Directeur Didier Rémy / / Position designer / programmer / / ProgrammingLanguage Haskell / ML / / Technology Functional programming / /
SocialTag |