Oxford University Press / World Scientific Publishing / Pure Type Systems / /
Country
United States / /
Currency
USD / / /
Facility
Computer Science University of St Andrews North Haugh / Computer Science University of Durham South Road / University of Nottingham / /
IndustryTerm
interactive proof systems / type systems / systematic editing tools / printing de / technology combines / module systems / large computer systems / /
Movie
From now on / /
Organization
Free Variable Conor McBride James McKinna Department / University of Nottingham / US Federal Reserve / England School / Computer Science University of Durham South Road / Durham / Oxford University / Computer Science University of St Andrews North Haugh / /
Person
Huet Coquand / Manfred Szabo / Narasimhan / Frank Pfenning / C. Paulin-Mohring / Gail Pieper / P. Jouannaud / Int / Gerhard Gentzen / Randy Pollack / Nat / Thierry Coquand / Roy Harris / /
Position
editor / structure editor / guard / first author / General / second author / /
ProgrammingLanguage
Haskell / E / Lambda Calculus / L / T / /
ProvinceOrState
Utah / /
PublishedMedium
Theoretical Computer Science / Journal of Symbolic Computation / /
Functional Pearl: I am not a Number—I am a Free Variable Conor McBride