Back to Results
First PageMeta Content



Université Paris Diderot (Paris 7) École doctorale 386 : Sciences Mathématiques de Paris Centre Équipe Gallium, Inria Doctorat Informatique
Add to Reading List

Document Date: 2013-11-17 14:08:18

Open Document

File Size: 947,71 KB

Share 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