Essays about: "Gregor Ulm"

Found 1 essay containing the words Gregor Ulm.

  1. 1. Compiling Agda to System Fω in Theory

    University essay from Göteborgs universitet/Institutionen för data- och informationsteknik

    Author : Gregor Ulm; [2015-07-20]
    Keywords : Languages; Lambda calculus and related systems; Types; Compilers;

    Abstract : We develop a theoretical foundation for compiling the programming language Agda to System Fω, which is a stepping stone towards a compiler from Agda to Haskell. The practical relevance for software engineering and the problem of providing correctness guarantees for programs is highlighted. READ MORE