Nwo Ew 2004
Swierstra
On this page we provide (at least) the bibtex entries containing hyperlinks to references in the NWO proposal we have submitted.
Directly Related to the Proposal
@inproceedings{SwieDupo96,
AUTHOR = "Swierstra, S. D. and Duponcheel, L. ",
TITLE = "Deterministic, Error-Correcting Combinator Parsers",
BOOKTITLE = "Advanced Functional Programming",
EDITOR = "John Launchbury and Erik Meijer and Tim Sheard",
PUBLISHER = "Springer-Verlag",
SERIES = "LNCS-Tutorial",
VOLUME = "1129",
PAGES = "184-207",
YEAR = "1996",
urlpdf = {http://www.cs.uu.nl/people/doaitse/Papers/1996/DetErrCorrComPars.pdf}
}
@inproceedings{BaSw02,
author = {Baars, Arthur~I. and Swierstra, S.~Doaitse},
title = {Typing dynamic typing},
booktitle = {Proceedings of the seventh ACM SIGPLAN international conference on Functional programming},
editor = {Peyton Jones, S.},
year = {2002},
isbn = {1-58113-487-8},
pages = {157--166},
location = {Pittsburgh, PA, USA},
doi = {http://doi.acm.org/10.1145/581478.581494},
publisher = {ACM Press},
}
@inproceedings{BaSw2004HW,
author = {Baars, Arthur I. and Swierstra, S.D.},
title = {Type-safe, Self Inspecting Code},
booktitle = {Proceedings of the ACM SIGPLAN workshop on Haskell},
year = {2004},
editor = {Nilsson, Henrik},
pages = {??},
address = {Cork},
location = {Snow Bird, Utah, USA},
publisher = {ACM Press},
pubcat = {workshop},
urlpdf = {{http://www.cs.uu.nl/people/doaitse/Papers/2004/p1210-baars.pdf}},
}
@inproceedings{ swierstra01combinator,
author = "Doaitse Swierstra",
title = "Combinator Parsers: From Toys to Tools",
booktitle = "Electronic Notes in Theoretical Computer Science",
volume = "41",
issue = "1",
publisher = "Elsevier Science Publishers",
editor = "Graham Hutton",
year = "2001",
url = "http://math.tulane.edu/~entcs/",
urlpdf = {{http://www.cs.uu.nl/people/doaitse/Papers/2001/Toys2Tools.pdf}},
}
@inproceedings{ leijen99domain,
author = "Daan Leijen and Erik Meijer",
title = "Domain specific embedded compilers",
booktitle = "Domain-Specific Languages",
pages = "109-122",
year = "1999",
url = "citeseer.ist.psu.edu/leijen99domain.html",
urlpdf = {{http://www.cs.uu.nl/~daan/download/papers/dsec.ps}}
}
@inproceedings{331977,
author = {Daan Leijen and Erik Meijer},
title = {Domain specific embedded compilers},
booktitle = {Proceedings of the 2nd conference on Domain-specific languages},
year = {1999},
isbn = {1-58113-255-7},
pages = {109--122},
location = {Austin, Texas, United States},
doi = {http://doi.acm.org/10.1145/331960.331977},
publisher = {ACM Press},
urlpdf = {{http://www.cs.uu.nl/~daan/download/papers/dsec.ps}}
}
@inproceedings{SwieAzSar98Braga,
AUTHOR = "Swierstra, S. D. and Azero Alocer, P. R. and Saraiava, J. ",
TITLE = "Designing and Implementing Combinator Languages",
BOOKTITLE = "Advanced Functional Programming, Third International School, AFP'98",
EDITOR = "Doaitse Swierstra and Pedro Henriques and Jos\'{e} Oliveira",
PUBLISHER = "Springer-Verlag",
SERIES = "LNCS",
VOLUME = "1608",
PAGES = "150-206",
YEAR = "1999",
urlpdf = {{http://www.cs.uu.nl/people/doaitse/Papers/1998/Braga.pdf}},
}
@inproceedings{pasalic,
Author = {Pasalic, E. and Linger, N.},
Booktitle = {accepted to: GPCE'04},
Title = {Meta-Programming with Typed Object-Language Representations},
Year = {2004}}
@article{BaLoSw04,
year = {2004},
author = {Arthur I. Baars and Andres L\"oh and S. Doaitse Swierstra},
title = {Parsing Permutation Phrases},
journal = {Journal of Functional Programming},
volume = {Special issue on Functional Pearls},
note = {Accepted for publication},
urlpdf = {{http://www.cs.uu.nl/people/doaitse/Papers/2004/perms.pdf}},
url = {{http://www.cs.uu.nl/people/arthurb/perms.html}},
pubcat = {journal},
}
Recent Ph.D. Theses from Utrecht
@phdthesis{schrage04Proxima,
author = "Martijn M. Schrage",
school = "Utrecht University, The Netherlands",
title = "Proxima -- a presentation-oriented editor for structured documents",
day = "15",
month = "Oct",
year = "2004",
note = "To appear",
url = "http://www.cs.uu.nl/research/projects/proxima/thesis.pdf"
}
@phdthesis{Leijen2003,
author = "Daan Lijen",
school = "Utrecht University, The Netherlands",
title = "The lambda abroad: A Functional Approach to Software Components ",
day = "4",
month = "Nov",
year = "2003",
urlpdf = "http://www.cs.uu.nl/people/doaitse/Papers/Theses/Daan.pdf"
}
@phdthesis{Loeh2004,
author = "Andres L{\"o}h",
school = "Utrecht University, The Netherlands",
title = "Exploring Generic Haskell",
day = "2",
month = "Sep",
year = "2004",
urlpdf = "http://www.cs.uu.nl/people/doaitse/Papers/Theses/Andres.pdf"
}
Arrows etc
@article{ hughes00generalising,
author = "John Hughes",
title = "Generalising monads to arrows",
journal = "Science of Computer Programming",
volume = "37",
number = "1--3",
pages = "67--111",
year = "2000",
url = "http://www.haskell.org/arrows/biblio.html" }
@inproceedings{PatersonRA:notation,
title = "A New Notation for Arrows",
author = "Ross Paterson",
booktitle = "International Conference on Functional Programming",
location = "Firenze, Italy",
url = "http://www.haskell.org/arrows/biblio.html",
publisher = "ACM Press",
pages = "229-240",
month = Sep,
year = 2001
}
Tools from Utrecht
@INPROCEEDINGS{Leijen:wxhaskell,
author = {Daan Leijen},
title = {wxHaskell -- A portable and concise {GUI} library for {Haskell}},
booktitle = {{ACM SIGPLAN} Haskell Workshop ({HW'04})},
year = 2004,
month = sep,
publisher = {ACM Press},
location = {Snowbird, Utah},
http://www.cs.uu.nl/~daan/download/papers/wxhaskell.pdf
}
@TECHREPORT{EHC12004,
author = {Dijkstra, A. and Swierstra, S.D.},
year = 2004,
title = {Typing Haskell with an Attribute Grammar (Part I)},
number = {UU-CS-2004-037},
institution = {Inst. of Information and Comp. Science, Utrecht Univ.},
urlpdf = { {http://archive.cs.uu.nl/pub/RUU/CS/techreps/CS-2004/2004-037.pdf}},
pubcat = {techreport}
}
@InProceedings{ HHS:scripting,
author = {Bastiaan Heeren and Jurriaan Hage and S. Doaitse Swierstra},
title = {Scripting the type inference process},
booktitle = {Eighth ACM Sigplan International Conference on Functional Programming},
year = {2003},
publisher = {ACM Press},
address = {New York},
pages = {3 -- 13},
urlpdf = {{http://www.cs.uu.nl/people/doaitse/Papers/2003/scripting.pdf}},
}
@InProceedings{HughSwi2003,
author = {Hughes, R.J.M. and Swierstra, S.D.},
title = {Polish Parsers, Step by Step},
booktitle = {Eighth ACM Sigplan International Conference on Functional Programming},
year = {2003},
month = {August},
publisher = {ACM Press},
address = {New York},
pages = {239--248},
urlpdf = {http://www.cs.uu.nl/people/doaitse/Papers/2003/p224-swierstra.pdf},
urlpdfslides = {http://www.cs.uu.nl/people/doaitse/Talks/2003/p224-swierstra-slides.pdf},
pubcat = {conference}
}
@TECHREPORT{PPTr2004,
author = {Swierstra, S.D.},
year = 2004,
title = {Linear, Online, Functional Pretty printing (extended and corrected version)},
number = {UU-CS-2004-025a},
institution = {Inst. of Information and Comp. Science, Utrecht Univ.},
urlpdf = {
{http://archive.cs.uu.nl/pub/RUU/CS/techreps/CS-2004/2004-025a.pdf}},
pubcat = {techreport},
note = {submitted for publication}
}
@inproceedings{SwieAzer99,
author = {Swierstra, S. D. and Azero Alcocer, P. R. },
title = {Fast, Error Correcting Parser Combinators: a Short Tutorial},
booktitle = { SOFSEM'99 Theory and Practice of Informatics, 26th Seminar on Current Trends in Theory and Practice of Informatics},
year = {1999},
month = {November},
editor = {Pavelka, Jan and Tel, Gerard and Bartosek, Miroslav },
pages = {111-129},
volume = {1725},
series = {LNCS}
}
Functional Web programming
@misc{ graunke03modeling,
author = "P. Graunke and R. Findler and S. Krishnamurthi and M. Felleisen",
title = "Modeling Web interactions",
text = "P. T. Graunke, R. B. Findler, S. Krishnamurthi, and M. Felleisen. Modeling
Web interactions. In Proc. 12th European Symposium on Programming, Lecture
Notes in Computer Science, Warsaw, Poland, Apr. 2003. SpringerVerlag.",
year = "2003",
url = "citeseer.ist.psu.edu/graunke03modeling.html" }
@article{ graunke01programming,
author = "Paul Graunke and Shriram Krishnamurthi and Steve Van Der Hoeven and Matthias Felleisen",
title = "Programming the {Web} with High-Level Programming Languages",
journal = "Lecture Notes in Computer Science",
volume = "2028",
pages = "122--??",
year = "2001",
url = "citeseer.ist.psu.edu/graunke01programming.html" }
@misc{ elsman03web,
author = "M. Elsman and N. Hallenberg",
title = "Web programming with SMLserver",
text = "Martin Elsman and Niels Hallenberg. Web programming with SMLserver. In
Practical Aspects of Declarative Languages, Proceedings of the Fifth International
Symposium, PADL'03, number 2562 in Lecture Notes in Computer Science, pages
74--91, New Orleans, LA, USA, January 2003. Springer-Verlag.",
year = "2003",
url = "citeseer.ist.psu.edu/elsman03web.html" }
@article{ wan01eventdriven,
author = "Zhanyong Wan and Walid Taha and Paul Hudak",
title = "Event-Driven {FRP}",
journal = "Lecture Notes in Computer Science",
volume = "2257",
pages = "155+",
year = "2001",
url = "citeseer.ist.psu.edu/wan02eventdriven.html" }
@article{ThiemannXML,
Author = {Peter Thiemann},
Journal = {Journal of Functional Programming},
Title = {A Typed Representation for HTML and XML Documents in Haskell},
Year = {2004},
urlpdf= {{http://www.informatik.uni-freiburg.de/~thiemann/papers/padl04.ps.gz}},
note = {accepted for publication}
}
@inproceedings{Thiemann2004,
author = {Matthias Neubauer and Peter Thiemann},
title = {An Implementation of Session Types},
booktitle = {Practical Aspects of Declarative Languages, PADL 04},
year = {2004},
series = {LNCS},
location = {Dalls, USA},
publisher = {Springer},
}
@inproceedings{ thiemann02washcgi,
author = "Peter Thiemann",
title = "{WASH}/{CGI}: Server-Side Web Scripting with Sessions and Typed, Compositional Forms",
booktitle = "Practical Aspects of Declarative Languages",
pages = "192-208",
year = "2002",
url = "citeseer.ist.psu.edu/cgi02washcgi.html" }
Combinator Languages
@inproceedings{871897,
author = {Antony Courtney and Henrik Nilsson and John Peterson},
title = {The Yampa arcade},
booktitle = {Proceedings of the ACM SIGPLAN workshop on Haskell},
year = {2003},
isbn = {1-58113-758-3},
pages = {7--18},
location = {Uppsala, Sweden},
doi = {http://doi.acm.org/10.1145/871895.871897},
publisher = {ACM Press},
}
@inproceedings{351267,
author = {Simon Peyton Jones and Jean-Marc Eber and Julian Seward},
title = {Composing contracts: an adventure in financial engineering (functional pearl)},
booktitle = {Proceedings of the fifth ACM SIGPLAN international conference on Functional programming},
year = {2000},
isbn = {1-58113-202-6},
pages = {280--292},
doi = {http://doi.acm.org/10.1145/351240.351267},
publisher = {ACM Press},
}
Misc
@article{HinzeST,
Author = {Ralf Hinze},
Journal = {Journal of Functional Programming},
Title = {Generalising generalised tries},
Volume = {10},
Number = {4},
pages = {305--317},
Year = {2000},
urlpdf= {{http://www.informatik.uni-bonn.de/~ralf/publications/GGTries.ps.gz}},
}