Publications

Top
---++ Publications

---+++ 2006

   * Arie Middelkoop, Improved Uniqueness Typing for Haskell, Master Thesis, Dept. of Computing and Information Sciences, 2006. [ [[%ATTACHURL%/uniqueness.pdf][Download]] ]
   * Arjen Langebaerd, Repair Systems, Automatic Correction of Type Errors in Functional Programs, Master Thesis SCR-05-79, Dept. of Computing and Information Sciences, 2006.  [ [[%ATTACHURL%/finalthesis-arjenlangebaerd.pdf][Download]] ]

---+++ 2005
<OL type=1><LI><A NAME="HH:typeclassdirectives"></A>
B.&nbsp;Heeren and J.&nbsp;Hage.
<A HREF="HH-typeclassdirectives.bib">Type Class Directives</A>.
In <EM>Seventh International Symposium on Practical Aspects of
Declarative Languages</EM>, pages 253 -- 267, Berlin, 2005. Springer Verlag.
(<A HREF="HH-typeclassdirectives.bib">bib</A>).</OL>


---+++ 2004

<OL type=1><LI><A NAME="heeren2004firstattempt"></A>
B.&nbsp;Heeren and J.&nbsp;Hage.
<A HREF="heeren2004firstattempt.bib">A first attempt at type class
directives</A>.
Technical Report UU-CS-2002-031, Institute of Information and
Computing Science, University Utrecht, Netherlands, September 2004.
Technical Report (<A HREF="heeren2004firstattempt.bib">bib</A>).
</OL>

---+++ 2003
<!--SEC END -->   <OL type=1><LI><A NAME="HHS:constraint"></A> B.&nbsp;Heeren, J.&nbsp;Hage, and S.&nbsp;D. Swierstra. <A HREF="http://www.cs.uu.nl/groups/ST/stbib/heeren-by-year/HHS-constraint.bib">Constraint based type inferencing in  Helium</A>. In M.-C. Silaghi and M.&nbsp;Zanker, editors, <EM>Workshop Proceedings of  Immediate Applications of Constraint Programming</EM>, pages 59 -- 80, Cork,  September 2003. (<A HREF="http://www.cs.uu.nl/groups/ST/stbib/heeren-by-year/HHS-constraint.bib">bib</A>).<BR> <BR> <LI><A NAME="HHS:scripting"></A> B.&nbsp;Heeren, J.&nbsp;Hage, and S.&nbsp;D. Swierstra. <A HREF="http://www.cs.uu.nl/groups/ST/stbib/heeren-by-year/HHS-scripting.bib">Scripting the type inference process</A>. In <EM>Eighth ACM Sigplan International Conference on Functional  Programming</EM>, pages 3 -- 13, New York, 2003. ACM Press. (<A HREF="http://www.cs.uu.nl/groups/ST/stbib/heeren-by-year/HHS-scripting.bib">bib</A>).<BR> <BR> <LI><A NAME="helium-hw03"></A> B.&nbsp;Heeren, D.&nbsp;Leijen, and A.&nbsp;van IJzendoorn. <A HREF="http://www.cs.uu.nl/groups/ST/stbib/heeren-by-year/helium-hw03.bib">Helium, for Learning Haskell</A>. In <EM>ACM Sigplan 2003 Haskell Workshop</EM>, pages 62 -- 71, New York,  2003. ACM Press. (<A HREF="http://www.cs.uu.nl/groups/ST/stbib/heeren-by-year/helium-hw03.bib">bib</A>).</OL>             

---+++ 2002
<OL type=1><LI><A NAME="heeren2002parametric"></A> B.&nbsp;Heeren and J.&nbsp;Hage. <A HREF="http://www.cs.uu.nl/groups/ST/stbib/heeren-by-year/heeren2002parametric.bib">Parametric Type Inferencing for  Helium</A>. Technical Report UU-CS-2002-035, Institute of Information and  Computing Science, University Utrecht, Netherlands, August 2002. Technical Report (<A HREF="http://www.cs.uu.nl/groups/ST/stbib/heeren-by-year/heeren2002parametric.bib">bib</A>).<BR> <BR> <LI><A NAME="heeren2002generalizing"></A> B.&nbsp;Heeren, J.&nbsp;Hage, and D.&nbsp;Swierstra. <A HREF="http://www.cs.uu.nl/groups/ST/stbib/heeren-by-year/heeren2002generalizing.bib">Generalizing Hindley-Milner Type  Inference Algorithms</A>. Technical Report UU-CS-2002-031, Institute of Information and  Computing Science, University Utrecht, Netherlands, July 2002. Technical Report (<A HREF="http://www.cs.uu.nl/groups/ST/stbib/heeren-by-year/heeren2002generalizing.bib">bib</A>).<BR> <BR> <LI><A NAME="heeren2002improving"></A> B.&nbsp;Heeren, J.&nbsp;Jeuring, S.&nbsp;D. Swierstra, and P.&nbsp;A. Alcocer. <A HREF="http://www.cs.uu.nl/groups/ST/stbib/heeren-by-year/heeren2002improving.bib">Improving type-error messages in  functional languages</A>. Technical Report UU-CS-2002-009, Institute of Information and  Computing Science, University Utrecht, Netherlands, February 2002. Technical Report (<A HREF="http://www.cs.uu.nl/groups/ST/stbib/heeren-by-year/heeren2002improving.bib">bib</A>).</OL>