Lennart Augustsson
Results: 3
# | Item |
---|---|
1 | CONFIDENTIAL Experience Report: Paradise A two-stage DSL embedded in Haskell Lennart AugustssonAdd to Reading ListSource URL: www.earth.li- Date: 2008-11-02 17:30:53 |
2 | Why formal verification remains on the fringes of commercial development Arvind Computer Science & Artificial Intelligence Laboratory Massachusetts Institute of TechnologyAdd to Reading ListSource URL: www.fm2008.abo.fiLanguage: English - Date: 2008-06-04 08:51:50 |
3 | PDF DocumentAdd to Reading ListSource URL: csg.csail.mit.eduLanguage: English - Date: 2003-01-22 15:24:53 |