Back to Results
First PageMeta Content
Lambda calculus / Formal methods / Type theory / Logic in computer science / Programming language theory / Twelf / POPLmark challenge / OCaml / Proof assistant / Software engineering / Computing / Theoretical computer science


Ott: Effective Tool Support for the Working Semanticist Peter Sewell∗ Francesco Zappa Nardelli† Thomas Ridge∗
Add to Reading List

Document Date: 2007-10-18 09:46:53

Open Document

File Size: 268,73 KB

Share Result on Facebook

City

Homs / Freiburg / /

Country

Germany / /

Currency

USD / /

IndustryTerm

pretty printing terms / similar machinery / trusted chain / type systems / ott tool / main intended applications / /

Organization

University of Cambridge INRIA / /

Person

Peyton Jones / Isabelle / Twelf / Gilles Peskine∗ Rok Strni / Lam App Paren Tsub / Code Our / Ty / /

/

Position

proof assistant / particular proof assistant / General / single proof assistant / assistant / /

Product

t10 / /

ProgrammingLanguage

Haskell / EC / R / LATEX / ML / Standard ML / Java / /

Technology

alpha / LAN / animation / Java / /

URL

http /

SocialTag