Lennart Augustsson

Results: 3



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

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

Add to Reading List

Source URL: www.earth.li

- Date: 2008-11-02 17:30:53
    2Why formal verification remains on the fringes of commercial development Arvind Computer Science & Artificial Intelligence Laboratory Massachusetts Institute of Technology

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

    Add to Reading List

    Source URL: www.fm2008.abo.fi

    Language: English - Date: 2008-06-04 08:51:50
    3

    PDF Document

    Add to Reading List

    Source URL: csg.csail.mit.edu

    Language: English - Date: 2003-01-22 15:24:53