Sökning: "Lambda calculus and related systems"
Hittade 1 uppsats innehållade orden Lambda calculus and related systems.
1. Compiling Agda to System Fω in Theory
Kandidat-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknikSammanfattning : 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
Resultatsidor:
1