Reports

From Aldor

Jump to: navigation, search
  • Introduction to Aldor (Watt)

    Web page

  • The type system of Aldor (Poll and Thompson, UKC 1999)

    Web page

  • FOAM: First Order Abstract Machine Version 0.35 (Stephen M. Watt, Peter A. Broadbery, Pietro Iglio, Scott C. Morrison, Jonathan M. Steinbach)

    .pdf

  • New FOAM documentation (Pete Huerter, Stephen M. Watt)
Retrieved from "http://www.aldor.org/wiki/index.php/Reports"
Personal tools