Truth - {A} Real-World Application in {H}askell
| Title | Truth - {A} Real-World Application in {H}askell |
| Publication Type | Conference Paper |
| Year of Publication | 2000 |
| Authors | Leucker, M, Noll, T |
| Editor | Mohnen, M |
| Conference Name | Proceedings of the 12th International Workshop on Implementation of Functional Languages (IFL'00) |
| Series | Aachener Informatik Berichte |
| Publisher | RWTH Aachen |
| URL | http://www-i2.informatik.rwth-aachen.de/leucker/Literatur/Ps_files/leucker__Truth_Haskell.ps.gz |
Bibtex:
@inproceedings {LeuckerNollb00,
title = {Truth - {A} Real-World Application in {H}askell},
booktitle = {Proceedings of the 12th International Workshop on Implementation of Functional Languages (IFL{\textquoteright}00)},
series = {Aachener Informatik Berichte},
number = {AIB-00-7},
year = {2000},
pages = {363{\textendash}380},
publisher = {RWTH Aachen},
organization = {RWTH Aachen},
url = {http://www-i2.informatik.rwth-aachen.de/leucker/Literatur/Ps_files/leucker__Truth_Haskell.ps.gz},
author = {Martin Leucker and Thomas Noll},
editor = {Markus Mohnen}
}Postscript:
