Generalized Arrows.
- Resource Type
- Theses
- Authors
- Joseph, Adam Megacz
- Source
- Dissertation Abstracts International; Dissertation Abstract International; 76-02B(E).
- Subject
- Computer Science
Mathematics
Logic
- Language
- English
Summary: A modified version of the Glasgow Haskell Compiler (GHC) with multi-level types and expressions has been produced as a proof of concept. The Haskell extraction of the Coq formalization in this thesis have been compiled into this modified GHC as a new flattening pass.