@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://cth.altocumulus.org/~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.} ,
  }


@TechReport{hallgren:lml-games,
  author = 	 {Thomas Hallgren},
  title = 	 {Introduction to Interactive Real-time Multi-user Games
                  Programming in LML},
  INSTITUTION = {Programming Methodology Group,
		Chalmers University of Technology},
  NUMBER = {Memo 89},
  ADDRESS = {G\"{o}teborg, Sweden},
  MONTH = {January},
  YEAR = 1990,
  DOCUMENTURL = "http://cth.altocumulus.org/~hallgren/Papers/memo89.html"
}

  @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://cth.altocumulus.org/~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://cth.altocumulus.org/~hallgren/Papers/lpar2000.pdf",
  OLDABSTRACTURL = "http://www.cs.man.ac.uk/~voronkov/LPAR/2000/abstracts/39.txt",
  ABSTRACTURL = "http://cth.altocumulus.org/~hallgren/Papers/lpar2000-abstract.html"
}

@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://cth.altocumulus.org/~hallgren/Papers/hallgren.pdf",
  ABSTRACTURL = "http://cth.altocumulus.org/~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{hw2003,
  author = 	 {Thomas Hallgren},
  title = 	 {Haskell Tools from the Programatica Project},
  booktitle = {Proceedings of the {ACM} {SIGPLAN} Workshop on Haskell, Haskell 2003, Uppsala, Sweden, August 28, 2003},
  year = 	 2003,
  editor = 	 {Johan Jeuring},
  pages = 	 {103--106},
  month = 	 {August},
  address = 	 {Uppsala, Sweden},
  publisher = {{ACM}},
  abstracturl = "https://ogi.altocumulus.org/~hallgren/Programatica/HW2003/",
  documenturl = "https://ogi.altocumulus.org/~hallgren/Programatica/HW2003/p324-hallgren.pdf"
  }

@InProceedings{hcss04,
  author = 	 {Thomas Hallgren and James Hook and Mark P. Jones and Richard B. Kieburtz},
  title = 	 {An Overview of the Programatica Toolset},
  booktitle = {High Confidence Software and Systems Conference, {HCSS04}},
  year = 	 2004,
  month = 	 {April},
  documenturl = "https://ogi.altocumulus.org/~hallgren/Programatica/HCSS04/hcss04-tools.pdf",
  abstracturl = "https://ogi.altocumulus.org/~hallgren/Programatica/HCSS04/"
}

@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",
  abstracturl = "https://cth.altocumulus.org/~hallgren/Papers/plos07-abstract.html",
  documenturl = "https://cth.altocumulus.org/~hallgren/Papers/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 = "https://www.ida.liu.se/conferences/sltc2010/proceedings.html"
}

@InProceedings{hallgren-enache-ranta:2015:GEAF,
  author    = {Thomas Hallgren and Ramona Enache and Aarne Ranta},
  title     = {A Cloud-Based Editor for Multilingual Grammars},
  booktitle = {Proceedings of the Grammar Engineering Across Frameworks (GEAF) 2015 Workshop},
  month     = {July},
  year      = {2015},
  address   = {Beijing, China},
  publisher = {Association for Computational Linguistics},
  pages     = {41--48},
  url       = {http://www.aclweb.org/anthology/W15-3306},
  abstracturl = "http://www.grammaticalframework.org/~hallgren/Talks/GF/geaf2015abstract.html"
}

@InProceedings{ud-nodalida-2017,
  author    = {Aarne Ranta and Prasanth Kolachina and Thomas Hallgren},
  title     = {Cross-Lingual Syntax: Relating Grammatical Framework with Universal Dependencies},
  booktitle = {{NoDaLiDa 2017}},
  year      = 2017,
  series    = {NEALT Proceedings},
  month     = {May},
  address   = {Gothenburg, Sweden},
  publisher = {Linköping University Electronic Press},
  url       = {http://www.ep.liu.se/ecp/131/047/ecp17131047.pdf},
  abstracturl = "http://www.grammaticalframework.org/~hallgren/Talks/GF/nodalida2017abstract.html",
  note      = {Software Demonstration, \url{http://nodalida2017.se/program}}
}