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:
- News
- Research
- Teaching
- Staff
- Martin Leucker
- Diedrich Wolter
- Ulrike Schräger-Ahrens
- Aliyu Ali
- Mahmoud Abdelrehim
- Phillip Bende
- Juljan Bouchagiar
- Marc Bätje
- Tobias Braun
- Gerhard Buntrock
- Anja Grotrian
- Hannes Hesse
- Raik Hipler
- Elaheh Hosseinkhani
- Hannes Kallwies
- Frauke Kerlin
- Karam Kharraz
- Mohammad Khodaygani
- Ludwig Pechmann
- Waqas Rehan
- Martin Sachenbacher
- Andreas Schuldei
- Annette Stümpel
- Gesina Schwalbe
- Tobias Schwartz
- Daniel Thoma
- Lars Vosteen
- Open Positions
- Contact