CONFIDENTIAL Experience Report: Paradise A two-stage DSL embedded in Haskell Lennart Augustsson

Source URL: www.earth.li

Why formal verification remains on the fringes of commercial development Arvind Computer Science & Artificial Intelligence Laboratory Massachusetts Institute of Technology

Source URL: www.fm2008.abo.fi

• Functional languages
• Theoretical computer science
• Technology
• Bluespec
• Inc.
• Arvind
• Atom
• Lennart Augustsson
• Formal methods
• James Hoe
• Computing
• Year of birth missing
• Software engineering

PDF Document

Source URL: csg.csail.mit.edu

• Type theory
• Data types
• Functional languages
• Object-oriented programming
• Bluespec
• Inc.
• Haskell
• Type system
• Lennart Augustsson
• ML
• Software engineering
• Computing
• Programming language theory