@inproceedings{carlsson:fudgetsfpca,
	TITLE = {{{\sc Fudgets} - A Graphical User Interface in a Lazy Functional Language}} ,
	AUTHOR = {M. Carlsson and T. Hallgren} ,
	PAGES = {321--330} ,
	BOOKTITLE = {FPCA '93 - Conference on Functional Programming
		   Languages and Computer Architecture} ,
	PUBLISHER = {ACM Press} ,
	MONTH = {June} ,
	YEAR = "1993" ,
	ISBN = {0-89791-595-X} ,
	DOCUMENTURL = {http://www.altocumulus.org/Fudgets/NUTEK/slutredovisning/fudgets-fpca93.ps} ,
	ABSTRACTURL = {http://www.altocumulus.org/Fudgets/fpca93-abstract.html} ,
  }


  @PhdThesis{carlsson98:fudgets_thesis,
	AUTHOR = {Magnus Carlsson and Thomas Hallgren} ,
	TITLE = {{Fudgets --- Purely Functional Processes with
                  applications to Graphical User Interfaces}} ,
	SCHOOL = {Department of Computing Science, Chalmers University
                  of Technology} ,
	YEAR = "1998" ,
	ADDRESS = {S-412 96 Göteborg, Sweden} ,
	MONTH = {March} ,
	DOCUMENTURL = "http://www.cse.chalmers.se/~hallgren/Thesis/" ,
  }


  @misc{hallgren:fudgets-homepage,
	AUTHOR = {Thomas Hallgren and Magnus Carlsson} ,
	YEAR = "1997" ,
	TITLE = {{The Fudgets Home Page}} ,
	HOWPUBLISHED = {\verb!http://www.altocumulus.org/Fudgets/!} ,
	DOCUMENTURL = {http://www.altocumulus.org/Fudgets/} ,
  }


  @inproceedings{hallgren:fudgets-lncs,
	AUTHOR = {Thomas Hallgren and Magnus Carlsson} ,
	TITLE = {{Programming with Fudgets}} ,
	BOOKTITLE = {{Advanced Functional Programming}} ,
	EDITOR = {J. Jeuring and E. Meijer} ,
	YEAR = "1995" ,
	PAGES = "137-182" ,
	PUBLISHER = {Springer Verlag, LNCS 925} ,
	DOCUMENTURL = {http://www.altocumulus.org/Fudgets/NUTEK/slutredovisning/fudgets-springschool.ps} ,
	ABSTRACTURL = {http://www.altocumulus.org/Fudgets/springschool95-intro.html} ,
  }


  @inproceedings{hallgren:stream-proc,
	AUTHOR = {Thomas Hallgren and Magnus Carlsson} ,
	TITLE = {{	Stream Processors: Concurrent
	Programming in Pure Functional Languages}} ,
	BOOKTITLE = {{7th
	Nordic Workshop on Programming Theory}} ,
	YEAR = {1995} ,
	ADDRESS = {Göteborg} ,
	MONTH = {November} ,
  }


  @mastersthesis{hallgren:fun2,
	AUTHOR = {T. Hallgren} ,
	TITLE = {Project report: Fun $\rightarrow$ {F}un2} ,
	SCHOOL = {Imperial College} ,
	YEAR = "1988" ,
	ADDRESS = {London, U.K.} ,
  }


  @phdthesis{hallgren:subtypes,
	AUTHOR = {Thomas Hallgren} ,
	TITLE = {{Subtypes in Polymorhic Functional Languages}} ,
	TYPE = "Licentiate Thesis" ,
	SCHOOL = {Chalmers University of Technology} ,
	ADDRESS = "Göteborg, Sweden" ,
	YEAR = {1993} ,
	MONTH = {February} ,
	ABSTRACTURL = {http://www.cse.chalmers.se/~hallgren/lic-abstract.html} ,
  }


  @phdthesis{magnus:lic,
	AUTHOR = {M. Carlsson and T. Hallgren} ,
	TITLE = {{Fudgets - Graphical User Interfaces and I/O in Lazy
                Functional Languages}} ,
	TYPE = "Licentiate Thesis" ,
	SCHOOL = {Chalmers University of Technology} ,
	ADDRESS = "Göteborg, Sweden" ,
	HOWPUBLISHED = {Chalmers University. Anon. FTP: 
                \verb"ftp.cs.chalmers.se:" \verb"/pub/cs-reports/papers/fudget-report/*"} ,
	MONTH = {May} ,
	YEAR = {1993} ,
	LONGNOTE = {A thesis that describes a graphical user interface toolkit where
                the key abstraction is the fudget (functional widget). A fudget
                is a process that can pass messages to other fudgets and do
                input/output. Fudgets can have a hidden state. The
                thesis gives examples in Haskell on how a fudget controlling a
                push button can be programmed in a monadic style.} ,
  }


@InProceedings{hallgren-ranta:lpar2000,
  author =	 {Thomas Hallgren and Aarne Ranta},
  title =	 {An extensible proof text editor},
  booktitle =	 {Logic for Programming and Automated Reasoning
                  (LPAR'2000)},
  year =	 2000,
  series =	 {LNCS/LNAI},
  number =	 1955,
  pages = {70-84},
  month =	 {November},
  publisher =	 {Springer Verlag},
  DOCUMENTURL = "http://www.cse.chalmers.se/~hallgren/Papers/lpar2000.ps.gz",
  ABSTRACTURL = "http://www.cs.man.ac.uk/~voronkov/LPAR/2000/abstracts/39.txt"
}

@InProceedings{hallgren:wm01,
  author = 	 {Thomas Hallgren},
  title = 	 {Fun with Functional Dependencies},
  booktitle = 	 {{Proceedings of the Joint CS/CE Winter Meeting}},
  pages =	 {135--145},
  year =	 2001,
  address =	 {Göteborg, Sweden},
  month =	 {January},
  organization = {Department of Computing Science, Chalmers},
  DOCUMENTURL = "http://www.cs.chalmers.se/Cs/wm-01/hallgren.ps",
  ABSTRACTURL = "http://www.cse.chalmers.se/~hallgren/Papers/wm01.html"
}

@inproceedings{modules98,
  title     = {{A Formal Specification for the Haskell 98 Module System}},
  author    = {Iavor S. Diatchki and Mark P. Jones and Thomas Hallgren},
  booktitle = {Proceedings of ACM SIGPLAN 2002 Haskell Workshop},
  pages     = "17--28",
  month     = "October",
  year      = "2002",
  address   = "Pittsburgh, PA, USA",
  abstracturl = "http://ogi.altocumulus.org/~hallgren/hsmod/",
  documenturl = "http://ogi.altocumulus.org/~hallgren/hsmod/Description.pdf"
}

@inproceedings{house-icfp05,
  title     = {{A Principled Approach to Operating System Construction in Haskell}},
  author    = "Thomas Hallgren and Mark P. Jones and Rebekah Leslie and Andrew Tolmach",
  booktitle = "{Proceedings of the Tenth ACM SIGPLAN International Conference on Functional Programming}",
  pages     = "116--128",
  month     = "September",
  year      = "2005",
  address   = "Tallinn, Estonia",
  abstracturl = "http://ogi.altocumulus.org/~hallgren/ICFP2005/",
  documenturl = "http://ogi.altocumulus.org/~hallgren/ICFP2005/house.pdf"
}          

@inproceedings{sys_soft_exp,
  title     = {Writing Systems Software in a Functional Language: An Experience Report},
  author    = "Iavor S. Diatchki and Thomas Hallgren and Mark P. Jones and Rebekah Leslie and Andrew Tolmach",
  booktitle = {Proceedings of the Fourth Workshop on Programming Languages and Operating Systems},
  month     = October,
  year      = 2007,
  address   = "Stevenson, WA, USA",
  documenturl = "http://yav.purely-functional.net/publications/plos07.pdf"
}

@InProceedings{ranta-angelov-hallgren:2010:Demos,
  author    = {Aarne Ranta  and  Krasimir Angelov  and  Thomas Hallgren},
  title     = {Tools for Multilingual Grammar-Based Translation on the Web},
  booktitle = {Proceedings of the ACL 2010 System Demonstrations},
  month     = {July},
  year      = 2010,
  address   = {Uppsala, Sweden},
  publisher = {Association for Computational Linguistics},
  pages     = {66--71},
  url       = {http://www.aclweb.org/anthology/P10-4012},
  documenturl = "http://www.aclweb.org/anthology-new/P/P10/P10-4012.pdf"
}

@InProceedings{sltc2010,
  author = 	 {Olga Caprotti and Krasimir Angelov and Ramona Enache and Thomas Hallgren and Aarne Ranta},
  title = 	 {The MOLTO Phrasebook},
  booktitle = {Swedish Language Technology Conference SLTC 2010},
  pages = 	 {35--36},
  address = 	 {Linköping, Sweden},
  month = 	 {October},
  year = 	 2010,
  documenturl = "http://www.ida.liu.se/conferences/sltc2010/proceedings.html"
}