Essays about: "Agda"

Showing result 11 - 12 of 12 essays containing the word Agda.

  1. 11. 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

  3. 12. Water trading in Melbourne : A risk review

    University essay from KTH/Industriell ekologi

    Author : Hanna Eggestrand; [2015]
    Keywords : Melbourne; water trading market; risk; opportunity; threat; Melbourne; vattenhandel -marknad; risk; möjlighet; hot;

    Abstract : The water industry in Melbourne is facing a range of challenges associated with a notoriously varying climate and population growth. As a response to this, new water entitlement arrangements were introduced in 2014, seeking to promote a more integrated water cycle management. READ MORE