Personal tools

Haskell in research

From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
(Document the research community)
 
(Research groups)
 
(8 intermediate revisions by 4 users not shown)
Line 5: Line 5:
   
 
*[http://www-i2.informatik.rwth-aachen.de/Forschung/FP/ Aachen]
 
*[http://www-i2.informatik.rwth-aachen.de/Forschung/FP/ Aachen]
*[http://www-fp.dcs.st-andrews.ac.uk/ St. Andrews]
+
*[http://www-fp.cs.st-andrews.ac.uk/index.shtml St. Andrews]
 
*[http://www.cs.bris.ac.uk/%7Eian/Functional/ Bristol]
 
*[http://www.cs.bris.ac.uk/%7Eian/Functional/ Bristol]
 
*[http://www.md.chalmers.se/Cs/Research/Functional/ Chalmers]
 
*[http://www.md.chalmers.se/Cs/Research/Functional/ Chalmers]
  +
*[http://www.twi.ugent.be/index.php?page=onderzoek&ogid=pl Gent]
  +
*[http://www.ittc.ku.edu/research/view_lab.phtml?lab=CSDL Kansas]
 
*[http://www.cs.kent.ac.uk/research/groups/tcs/fp/ Kent]
 
*[http://www.cs.kent.ac.uk/research/groups/tcs/fp/ Kent]
 
*[http://www.cs.mu.oz.au/fpu/ Melbourne]
 
*[http://www.cs.mu.oz.au/fpu/ Melbourne]
 
*[http://www.cse.unsw.edu.au/~pls/ New South Wales (Sydney)]
 
*[http://www.cse.unsw.edu.au/~pls/ New South Wales (Sydney)]
 
*[http://www.cs.nott.ac.uk/Research/fop/ Nottingham]
 
*[http://www.cs.nott.ac.uk/Research/fop/ Nottingham]
*[http://www.cse.ogi.edu/ OGI]
+
*[http://www.ogi.edu/csee/ OGI]
*[http://www.comlab.ox.ac.uk/oucl/research/areas/ap Oxford]
+
*[http://metacomp.comlab.ox.ac.uk/projects Oxford]
*[http://www.cs.uu.nl/groups/ST Utrecht]
+
*[http://www.workingmouse.com/research/ Queensland (Brisbane)]
  +
*[http://www.cs.uu.nl/wiki/Center Utrecht]
 
*[http://haskell.cs.yale.edu/yale/ Yale]
 
*[http://haskell.cs.yale.edu/yale/ Yale]
 
*[http://www.cs.york.ac.uk/fp/ York]
 
*[http://www.cs.york.ac.uk/fp/ York]
  +
  +
==Research positions==
  +
  +
Advertise your research position on [[Jobs|the jobs page]].
  +
  +
==Researchers==
  +
  +
*[[Research_papers/Authors|Haskell people]]
   
 
==Research papers==
 
==Research papers==
   
A collection of [[Research papers|Haskell research]] papers.
+
* A collection of [[Research papers|Haskell research]] papers.
   
 
==Conferences==
 
==Conferences==
   
A list of [[Conferences|conferences]] relevant to Haskell.
+
* A list of [[Conferences|conferences]] relevant to Haskell.
  +
  +
===Haskell Symposium===
  +
  +
*[http://haskell.org/haskell-symposium/2008/ The 2008 Haskell Symposium], Victoria, British Columbia, Canada.
   
 
===Haskell Workshops===
 
===Haskell Workshops===
   
*The First Haskell Workshop, 1995, La Jolla.
+
*[http://haskell.org/haskell-workshop/1995/ The First Haskell Workshop], 1995, La Jolla.
*[http://www.cse.ogi.edu/~jl/ACM/Haskell.html The Second Haskell Workshop], 7 June 1997, Amsterdam, The Netherlands.
+
*[http://www.haskell.org/haskell-workshop/1997/index.html The Second Haskell Workshop], 7 June 1997, Amsterdam, The Netherlands.
 
*[http://www.haskell.org/HaskellWorkshop.html The Third Haskell Workshop], 1 October 1999, Paris, France.
 
*[http://www.haskell.org/HaskellWorkshop.html The Third Haskell Workshop], 1 October 1999, Paris, France.
 
*[http://www.cs.nott.ac.uk/~gmh/hw00.html The Fourth Haskell Workshop], 17 September 2000, Montreal, Canada.
 
*[http://www.cs.nott.ac.uk/~gmh/hw00.html The Fourth Haskell Workshop], 17 September 2000, Montreal, Canada.
*[http://www.cs.uu.nl/people/ralf/hw2001.html The Fifth Haskell Workshop], September 2001, Firenze, Italy.
+
*[http://haskell.org/haskell-workshop/2001/ The Fifth Haskell Workshop], September 2001, Firenze, Italy.
 
*[http://www.cse.unsw.edu.au/~chak/hw2002/ The Sixth Haskell Workshop], October 2002, Pittsburgh, USA.
 
*[http://www.cse.unsw.edu.au/~chak/hw2002/ The Sixth Haskell Workshop], October 2002, Pittsburgh, USA.
*[http://www.cs.uu.nl/~johanj/HaskellWorkshop/cfp03.html The Seventh Haskell Workshop], August 2003, Uppsala, Sweden.
+
*[http://www.haskell.org/haskell-workshop/2003/index.html The Seventh Haskell Workshop], August 2003, Uppsala, Sweden.
 
*[http://www.cs.nott.ac.uk/~nhn/HW2004/ The Eigth Haskell Workshop], September 2004, Snowbird, Utah, USA.
 
*[http://www.cs.nott.ac.uk/~nhn/HW2004/ The Eigth Haskell Workshop], September 2004, Snowbird, Utah, USA.
 
*[http://www.haskell.org/haskell-workshop/2005/ The Ninth Haskell Workshop], September 2005, Tallinn, Estonia.
 
*[http://www.haskell.org/haskell-workshop/2005/ The Ninth Haskell Workshop], September 2005, Tallinn, Estonia.
 
*[http://haskell.org/haskell-workshop/2006/ The Tenth Haskell Workshop], September 2006, Portland, Oregon, USA.
 
*[http://haskell.org/haskell-workshop/2006/ The Tenth Haskell Workshop], September 2006, Portland, Oregon, USA.
+
*[http://haskell.org/haskell-workshop/2007/ The Eleventh Haskell Workshop], September 2007, Freiburg, Germany.
==People==
 
 
See also the Haskell [[Research_papers/Authors|authors page]].
 
 
*<b>B:</b>[http://web.comlab.ox.ac.uk/oucl/people/richard.bird.html Richard Bird], Oxford University, [http://www.cs.chalmers.se/~bjesse/ Per Bjesse], Chalmers University of Technology, [http://www.cs.chalmers.se/~boquist/ Urban Boquist], Chalmers University of Technology, [http://www.dcs.gla.ac.uk/~bunkenba/ Alex Bunkenburg], University of Glasgow, [http://fas.sfu.ca/cs/people/Faculty/Burton/ Warren Burton], Simon Fraser University,
 
*<b>C:</b>[http://www.cse.ogi.edu/~magnus/ Magnus Carlsson], OGI,[http://www.cse.unsw.edu.au/~chak/ Manuel M. T. Chakravarty], University of New South Wales,[http://www.cs.kent.ac.uk/people/staff/oc/ Olaf Chitil], University of Kent,[http://www.cs.chalmers.se/~koen/ Koen Claessen], Chalmers University of Technology, [http://www.dcs.gla.ac.uk/~grmc/ Graham Collins], University of Glasgow, [http://www.irisa.fr/EXTERNE/projet/lande/consel/consel.html Charles Consel], IRISA,
 
*<b>D:</b>[http://www.c3.lanl.gov/~kei/kei.html Kei Davis], Los Alamos National Laboratory,
 
*<b>E:</b>[http://conal.net/ Conal Elliott], [http://www.cs.orst.edu/~erwig/ Martin Erwig], Oregon State University,
 
*<b>F:</b>Joseph Fasel, Los Alamos National Laboratory, [http://www.it.kth.se/~kff/ Karl-Filip Fax&eacute;n], The Royal Institute of Technology, Stockholm. [http://yeats.ucc.ie/~abf/ Alex Ferguson], University College Cork, [http://www.galconn.com/~sof/ Sigbj&oslash;rn Finne], University of Glasgow,
 
*<b>G:</b> [http://www.comlab.ox.ac.uk/oucl/people/jeremy.gibbons.html Jeremy Gibbons], Oxford University, [http://www.gill-warbington.com/home/andy Andy Gill], Galois, [http://www.dcs.gla.ac.uk/~joy/ Joy Goodman], University of Glasgow, [http://research.microsoft.com/~adg/ Andrew D. Gordon], University of Cambridge, [http://www.cs.chalmers.se/~gustavss/ J&ouml;rgen Gustavsson], Chalmers University of Technology,
 
*<b>H:</b>[http://www.dcs.gla.ac.uk/~cvh/ Cordy Hall], University of Glasgow, [http://www.cse.ogi.edu/~hallgren/ Thomas Hallgren], OGI, [http://www.dcs.st-and.ac.uk/~kh/kh.html Kevin Hammond], University of St. Andrews, [http://www.cs.chalmers.se/~heldal/ Rogardt Heldal], Chalmers University of Technology, [http://www.infosun.fmi.uni-passau.de/cl/staff/herrmann/index.html Christoph A. Herrmann], University of Passau, [http://www.informatik.uni-bonn.de/~ralf/ Ralf Hinze], University of Bonn, [http://www.cse.ogi.edu/~hook/new/Default.htm James Hook], OGI, [http://www.cs.yale.edu/~hudak-paul Paul Hudak], Yale University, [http://www.cs.chalmers.se/~rjmh John Hughes], Chalmers University of Technology, [http://www.cs.nott.ac.uk/~gmh/ Graham Hutton], University of Nottingham,
 
*<b>I:</b> [http://www.cs.uu.nl/~afie/ Arjan van IJzendoorn], Utrecht University, [http://www.cs.chalmers.se/~indrika/ Mia Indrika], Chalmers University of Technology,
 
*<b>J:</b>[http://www.cs.chalmers.se/~patrikj/ Patrik Jansson], Chalmers University of Technology, [http://www.cs.ruu.nl/people/johanj/ Johan Jeuring], Utrecht University, [http://www.cs.chalmers.se/~bengtj/ Bengt Johansson], Chalmers University of Technology, [http://www.cs.chalmers.se/~johnsson Thomas Johnsson], Chalmers University of Technology , [http://www.cse.ogi.edu/~mpj Mark Jones], OGI, [http://www.cs.stir.ac.uk/~sbj/ Simon B. Jones], University of Stirling, [http://research.microsoft.com/Users/simonpj Simon Peyton Jones], Microsoft,
 
*<b>K:</b>[http://users.info.unicaen.fr/~karczma Jerzy Karczmarczuk], University of Caen, [http://www.cse.unsw.edu.au/~keller/ Gabriele Keller], University of New South Wales,
 
*<b>L:</b> [http://lsi.uniovi.es/~labra Jose E. Labra], University of Oviedo, [http://www.cse.ogi.edu/~jl/ John Launchbury], OGI, [http://www.cs.uu.nl/~daan/ Daan Leijen], Utrecht University, [http://www.cse.ogi.edu/~jlewis Jeff Lewis], OGI, [http://java.sun.com/people/sl/ Sheng Liang], JavaSoft, [http://www.iai.uni-bonn.de/~loeh Andres L&ouml;h], University of Bonn, [http://www.dcs.gla.ac.uk/~hwloidl/ Hans-Wolfgang Loidl], University of Glasgow, [http://www.mathematik.uni-marburg.de/~loogen Rita Loogen], University of Marburg, [http://www.frogsonice.com/work.html Sandra J. Loosemore], Connected Components Corporation,
 
*<b>M:</b>[http://www.research.microsoft.com/~simonmar/ Simon Marlow], Microsoft, [http://research.microsoft.com/~emeijer/ Erik Meijer], Microsoft, [http://www.engr.uconn.edu/~jeffm/ Jeff Meunier], University of Connecticut, Andrew Moran, Galois Connections,
 
*<b>N:</b>[http://www.cse.ogi.edu/~nordin Thomas Nordin], OGI, [http://www.cse.ogi.edu/~nordland/ Johan Nordlander], OGI,
 
*<b>O:</b>[http://www.dcs.gla.ac.uk/~jtod/ John O'Donnell], University of Glasgow, [http://diwww.epfl.ch/~odersky/ Martin Odersky], Ecole Polytechnique Fdrale de Lausanne, [http://www.eecs.usma.edu/Personnel/okasaki Chris Okasaki], United States Military Academy,
 
*<b>P:</b> [http://www.cs.chalmers.se/~pareto/ Lars Pareto], Chalmers University of Technology, [http://www.dcs.gla.ac.uk/~partain/ Will Partain], University of Glasgow, [[user:John Peterson|John Peterson]], Western State College, [http://research.microsoft.com/Users/simonpj Simon Peyton Jones], Microsoft, [http://www.cs.mu.oz.au/~bjpop/ Bernie Pope], University of Melbourne, [http://www.mathematik.uni-marburg.de/~priebe Steffen Priebe], University of Marburg,
 
*<b>Q:</b>
 
*<b>R:</b>[http://www.reid-consulting-uk.ltd.uk/alastair/ Alastair Reid], Reid Consulting (UK) Ltd, [http://www.dcs.gla.ac.uk/~reidrm/ Richard Reid], University of Glasgow, [http://www.dcs.gla.ac.uk/~reig/ Fermin Reig], University of Glasgow, [http://www.cs.york.ac.uk/~colin/ Colin Runciman], University of York,
 
*<b>S:</b> [http://www.cs.chalmers.se/~andrei/ Andrei Sabelfeld], Chalmers University of Technology, [http://www.dcs.gla.ac.uk/~meurig/ Meurig Sage], University of Glasgow, [http://www.cs.chalmers.se/~dave/ David Sands], Chalmers University of Technology, [http://www.dcs.gla.ac.uk/~sansom/ Patrick Sansom], University of Glasgow, [http://www.di.ufpe.br/~alms/ Andr&eacute; Santos] , Universidade Federal de Pernambuco, [http://www.cs.chalmers.se/~ms/ Mary Sheeran], Chalmers University of Technology, [http://www.cse.ogi.edu/~sheard/ Tim Sheard], OGI, [http://www.cse.ogi.edu/~mbs/ Mark Shields], OGI, [http://www.dis.strath.ac.uk/people/sinclair/ Duncan Sinclair], University of Strathclyde, [http://www.xilinx.com/labs/satnam Satnam Singh], Xilinx, [http://www.cs.chalmers.se/~sparud/ Jan Sparud], Chalmers University of Technology, [http://www.cs.uu.nl/staff/doaitse.html Doaitse Swierstra], Utrecht University,
 
*<b>T:</b> [http://www.cs.york.ac.uk/~mjt/ Michael Thyer], University of York, [http://www.cee.hw.ac.uk/~trinder Phil Trinder], Heriot-Watt University, [http://www.cs.yale.edu/~tullsen/ Mark Tullsen], Galois ,
 
*<b>U:</b>
 
*<b>V:</b>
 
*<b>W:</b> [http://homepages.inf.ed.ac.uk/wadler/ Philip Wadler], University of Edinburgh, [http://www.cs.york.ac.uk/~malcolm/ Malcolm Wallace], University of York, [http://www.cl.cam.ac.uk/users/kw217/ Keith Wansbrough], University of Glasgow, [http://www.lotus.com/lotus/research.nsf/grouppage?Openpage Eric Wilcox], Lotus, [http://www.dcs.gla.ac.uk/~nww/ Noel Winstanley], University of Glasgow,
 
*<b>X:</b>
 
*<b>Y:</b>
 
*<b>Z:</b>
 
   
 
[[Category:Community]]
 
[[Category:Community]]

Latest revision as of 14:33, 31 January 2011

Since its inception, Haskell development has been driven by programming language researchers. This page collects information about that community.

Contents

[edit] 1 Research groups

[edit] 2 Research positions

Advertise your research position on the jobs page.

[edit] 3 Researchers

[edit] 4 Research papers

[edit] 5 Conferences

[edit] 5.1 Haskell Symposium

[edit] 5.2 Haskell Workshops