Back to Results
First PageMeta Content
Computing / OCaml / Coq / Type system / Type variable / Intuitionistic type theory / ML / ATS / Monad / Software engineering / Programming language theory / Type theory


Document Date: 2006-12-28 16:47:05

Open Document

File Size: 217,99 KB

Share Result on Facebook

City

Monterey / Springer-Verlag / Cork / San Antonio / Montreal / New York / New Orleans / Berlin / Pittsburgh / Amsterdam / Semantics / /

Company

ACM Press / /

Country

United States / Canada / Ireland / Denmark / /

/

Facility

University of Copenhagen / Coq library / Cornell University / Rice University / /

IndustryTerm

low-level applications / large scale software development / type applications / e -> / domain-specific applications / software engineering practice / inference algorithm / unification algorithm / /

Organization

National Science Foundation / University of Colorado / Rice University / Cornell University / University of Copenhagen / IEEE Computer Society / /

Person

Michael Florentin Nielsen / Conor McBride / James Cheney / Ferruccio Damiani / Pasalic Jeremy Siek Walid / Dan Grossman / Christian Lengauer / Paul Hudak / Luca Cardelli / Dimitrios Vytiniotis / Xavier Leroy / John Hughes / Simon Peyton Jones / Thierry Coquand / Henning Makholm / Zhong Shao / Stephanie Weirich / Vincent Simonet / Trevor Jim / Andrew Kennedy / Jeremy Siek / James McKinna / Jean-Yves Girard / Frank Pfenning / Tim Sheard / Edwin Brady / Nikolaos Papaspyrou / Ralf Hinze / Pa / Bratin Saha / Valery Trifonov / Mario Coppo / Martin Odersky / Charles Consel / Yanling Wang / Greg Morrisett / Michael Hicks / Claudio V. Russo / Geoffrey Washburn / Walid Taha / Hongwei Xi / Seth Fogarty Emir Pasalic Jeremy / Pasalic Jeremy Siek Walid Taha / /

Position

staged interpreter / The Tagless Interpreter / proof assistant / General / interpreter / tagless interpreter / The Tagless Staged Interpreter / internal Coq interpreter for the Vernacular proof scripts / coq proof assistant / interpreter for the simply-typed λ calculus / self-applicable partial evaluator / tagless staged interpreter / Emir / programmer / /

ProgrammingLanguage

R / C / Haskell / ML / C++ / /

ProvinceOrState

New York / California / /

PublishedMedium

Lecture Notes in Computer Science / /

Technology

alpha / Functional Programming / object-oriented programming / modified OCaml unification algorithm / unification algorithm / inference algorithm / DSL / OCaml unification algorithm / dom / /

URL

http /

SocialTag