Sökning: "Lambda calculus and related systems"

Hittade 1 uppsats innehållade orden Lambda calculus and related systems.

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

    Kandidat-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknik

    Författare :Gregor Ulm; [2015-07-20]
    Nyckelord :Languages; Lambda calculus and related systems; Types; Compilers;

    Sammanfattning : 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. LÄS MER