Department of Information and Computing Sciences

Departement Informatica contact intern
people education research library calendar archive services jobs

technical reports : dr. A. Dijkstra

Atze  Dijkstra

select other reports

this selection

author dr. A. Dijkstra

reports (14)

techrep_id file title / author
UU-CS-2016-012 pdf A Lazy Language Needs a Lazy Type System: Introducing Polymorphic Contexts
Doaitse Swierstra, Marcos Viera and Atze Dijkstra
UU-CS-2014-013 pdf Exploiting Attribute Grammars to Achieve Automatic Tupling
Jeroen Bransen, Atze Dijkstra and Doaitse Swierstra
UU-CS-2013-005 pdf Parse Your Options
Doaitse Swierstra and Atze Dijkstra
UU-CS-2010-017 pdf A generic deriving mechanism for Haskell
José Pedro Magalhães, Atze Dijkstra, Johan Jeuring, Andres Löh
UU-CS-2008-027 pdf Efficient Functional Unification and Substitution
Atze Dijkstra, Arie Middelkoop, and S. Doaitse Swierstra
UU-CS-2006-051 pdf Exploiting Type Annotations
Atze Dijkstra and Doaitse S. Swierstra
UU-CS-2005-033 pdf Ruler: Programming Type Rules
Atze Dijkstra and S. Doaitse Swierstra
UU-CS-2005-032 pdf Making Implicit Parameters Explicit
Atze Dijkstra and S. Doaitse Swierstra
UU-CS-2004-059 pdf Explicit implicit parameters
Atze Dijkstra and S. Doaitse Swierstra
UU-CS-2004-037 pdf Typing Haskell with an Attribute Grammar (Part I)
Atze Dijkstra, Doaitse Swierstra
UU-CS-2001-18 pdf Lazy Functional Parser Combinators in Java
Atze Dijkstra, Doaitse S. Swierstra
UU-CS-1999-26 ps.gz
pdf
SKIT, An open architecture for courseware authoring
Atze Dijkstra, Martijn Schrage, Doaitse Swierstra
RUU-CS-93-08 pdf Mapping objects to files: a UNIX file system interface to an object management system
Gert Florijn and Leo Soepenberg and Atze Dijkstra
RUU-CS-85-19 pdf A LAN with real-time facilities based on OSI concepts
A.J. de Raaf and A.Dijkstra and S.D. Swierstra

indexed (co) authors

author group
Bransen, dr. J. all reports Software Technology all reports
Dijkstra, dr. A. all reports Software Technology all reports
Florijn, ing. G. all reports Software Technology all reports
Jeuring, prof. dr. J.T. all reports Software Technology all reports
Löh, dr. A. all reports Software Technology all reports
Magalhães, dr. ir. J.P. all reports Software Technology all reports
Middelkoop, dr. A. all reports Software Technology all reports
Schrage, dr. M.M. all reports Software Technology all reports
Swierstra, prof. dr. (em.) S.D. all reports Software Technology all reports

BibTeX entries

@TECHREPORT{UUCS2016012,
author = {Swierstra, Doaitse and Viera, Marcos and Dijkstra, Atze},
year = 2016,
title = {A Lazy Language Needs a Lazy Type System: Introducing Polymorphic Contexts},
number = {UU-CS-2016-012},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2016/2016-012.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2014013,
author = {Bransen, Jeroen and Dijkstra, Atze and Swierstra, Doaitse},
year = 2014,
title = {Exploiting Attribute Grammars to Achieve Automatic Tupling},
number = {UU-CS-2014-013},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2014/2014-013.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2013005,
author = {Swierstra, Doaitse and Dijkstra, Atze},
year = 2013,
title = {Parse Your Options},
number = {UU-CS-2013-005},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2013/2013-005.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2010017,
author = {Magalhães, José~Pedro and Dijkstra, Atze and Jeuring, Johan and Löh, Andres},
year = 2010,
title = {A generic deriving mechanism for Haskell},
number = {UU-CS-2010-017},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2010/2010-017.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2008027,
author = {Dijkstra, Atze and Middelkoop, Arie and Swierstra, S.~Doaitse},
year = 2008,
title = {Efficient Functional Unification and Substitution},
number = {UU-CS-2008-027},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-027.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006051,
author = {Dijkstra, Atze and Swierstra, Doaitse~S.},
year = 2006,
title = {Exploiting Type Annotations},
number = {UU-CS-2006-051},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-051.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2005033,
author = {Dijkstra, Atze and Swierstra, S.~Doaitse},
year = 2005,
title = {Ruler: Programming Type Rules},
number = {UU-CS-2005-033},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-033.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2005032,
author = {Dijkstra, Atze and Swierstra, S.~Doaitse},
year = 2005,
title = {Making Implicit Parameters Explicit},
number = {UU-CS-2005-032},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-032.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2004059,
author = {Dijkstra, Atze and Swierstra, S.~Doaitse},
year = 2004,
title = {Explicit implicit parameters},
number = {UU-CS-2004-059},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2004/2004-059.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2004037,
author = {Dijkstra, Atze and Swierstra, Doaitse},
year = 2004,
title = {Typing Haskell with an Attribute Grammar (Part I)},
number = {UU-CS-2004-037},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2004/2004-037.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200118,
author = {Dijkstra, Atze and Swierstra, Doaitse~S.},
year = 2001,
title = {Lazy Functional Parser Combinators in Java},
number = {UU-CS-2001-18},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2001/2001-18.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199926,
author = {Dijkstra, Atze and Schrage, Martijn and Swierstra, Doaitse},
year = 1999,
title = {SKIT, An open architecture for courseware authoring},
number = {UU-CS-1999-26},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1999/1999-26.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1999/1999-26.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9308,
author = {Florijn, Gert and Soepenberg, Leo and Dijkstra, Atze},
year = 1993,
title = {Mapping objects to files: a UNIX file system interface to an object management system},
number = {RUU-CS-93-08},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1993/1993-08.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8519,
author = {Raaf, A.J.~de and A.Dijkstra and Swierstra, S.D.},
year = 1985,
title = {A LAN with real-time facilities based on OSI concepts},
number = {RUU-CS-85-19},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1985/1985-19.pdf}},
pubcat = {techreport}
}