Back to Results
First PageMeta Content
Functional languages / OCaml / National Institute for Research in Computer Science and Control / Caml / Principles of Programming Languages / Coq / Scherer / Rocquencourt / Subtype polymorphism / Software engineering / Computing / Computer programming


Gabriel Scherer Gallium team INRIA Paris-Rocquencourt B
Add to Reading List

Document Date: 2015-04-08 09:34:19

Open Document

File Size: 261,29 KB

Share Result on Facebook

City

INRIA / Munich / Paris / /

Country

France / /

/

IndustryTerm

online forums / /

NaturalFeature

FLINT / /

OperatingSystem

GNU/Linux / /

Organization

Yale / /

Person

Jan Hoffmann / Andreas Abel / Pierre-Évariste Dagand / Gabriel Scherer / Didier Rémy / Guillaume Munch-Maccagnoni / François Loeser / Jérôme Vouillon / /

Position

MP / Teaching assistant / /

ProgrammingLanguage

Haskell / C / Python / LATEX / Prolog / Java / /

PublishedMedium

Logical Methods in Computer Science / /

Technology

Functional Programming / Java / Linux / /

SocialTag