Difference between revisions of "Haskell in research"

From HaskellWiki
Jump to: navigation, search
(Document the research community)
 
(Research groups)
 
(9 intermediate revisions by 5 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.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://people.cs.kuleuven.be/~tom.schrijvers/research.html Leuven]
 
*[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:15, 22 October 2014

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

Research groups

Research positions

Advertise your research position on the jobs page.

Researchers

Research papers

Conferences

Haskell Symposium

Haskell Workshops