A Reasonably Exceptional Type Theory

Complete list of metadatas

Cited literature [33 references]  Display  Hide  Download

https://hal.inria.fr/hal-02189128
Contributor : Nicolas Tabareau <>
Submitted on : Friday, July 19, 2019 - 10:02:51 AM
Last modification on : Monday, August 19, 2019 - 4:57:38 PM

File

icfp19main-p108-p-48a52d2-4176...
Files produced by the author(s)

Identifiers

Citation

Pierre-Marie Pédrot, Nicolas Tabareau, Hans Fehrmann, Éric Tanter. A Reasonably Exceptional Type Theory. ICFP 2019 - 24th ACM SIGPLAN International Conference on Functional Programming, Aug 2019, Berlin, Germany. ⟨10.1145/3341712⟩. ⟨hal-02189128⟩

Share

Metrics

Record views

46

Files downloads

306