Essays about: "lambda calculus"

Showing result 1 - 5 of 6 essays containing the words lambda calculus.

  1. 1. Functional Programming Languages and the JVM : Comparing Functional Language Compilation Techniques for the JVM

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Asta Olofsson; [2023]
    Keywords : Compilation; Functional Programming; Java; Kompilering; Funktionell Programmering; Java;

    Abstract : Because of its security, high availability, and automatic memory management, the JVM (Java Virtual Machine) is a desirable execution environment. However, since the JVM was originally made for Java, which is an objectoriented language, it is hard for languages with other paradigms to run on it. READ MORE

  3. 2. A Semantic Approach to Computation : Representing the Partial Recursive Functions in Lambda Calculus

    University essay from Uppsala universitet/Algebra, logik och representationsteori

    Author : Tim Solig; [2022]
    Keywords : ;

    Abstract : .... READ MORE

  4. 3. Formalizing domain models of the typed and the untyped lambda calculus in Agda

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

    Author : David Lidell; [2020-12-17]
    Keywords : Agda; categories with families; domain interpretation; lambda calculus; sized types;

    Abstract : We present a domain interpretation of the simply typed and the untyped lambda calculus. The interpretations are constructed using the notion of category with families, with added structure. READ MORE

  5. 4. Verifying Correctness of Contract Decompositions

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Gustav Hedengran; [2020]
    Keywords : ;

    Abstract : The importance of verification in safety critical systems is well known. However, due to the complexity of verification, the task of formally verifying large safety-critical systems might prove computationally infeasible in many cases. Compositional verification is a technique aimed at enabling verification of large safety-critical systems. READ MORE

  6. 5. 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