Difference between revisions of "Haskell in research"
Jump to navigation
Jump to search
DonStewart (talk | contribs) (link) |
m (→Haskell Workshops: archived dead links) |
||
(11 intermediate revisions by 7 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. |
+ | *[http://web.archive.org/web/20080210131155/https://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://web.archive.org/web/20000818044145/www.md.chalmers.se/Cs/Research/Functional/ Chalmers] |
− | *[http://www. |
+ | *[http://www.ittc.ku.edu/research/view_lab.phtml?lab=CSDL Kansas] |
+ | *[http://web.archive.org/web/20090915183344/https://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://web.archive.org/web/20131012105905/http://www.cse.unsw.edu.au/~pls/PLS/PLS.html New South Wales (Sydney)] |
*[http://www.cs.nott.ac.uk/Research/fop/ Nottingham] |
*[http://www.cs.nott.ac.uk/Research/fop/ Nottingham] |
||
− | *[http:// |
+ | *[http://web.archive.org/web/20070206050532/http://www.ogi.edu/csee/ OGI] |
− | *[http:// |
+ | *[http://web.archive.org/web/20090415021544/metacomp.comlab.ox.ac.uk/projects Oxford] |
+ | *[http://web.archive.org/web/20090413095321/www.workingmouse.com/research/ Queensland (Brisbane)] |
||
− | *[http://www.cs.uu.nl/groups/ST Utrecht] |
||
− | *[http:// |
+ | *[http://web.archive.org/web/20170709123317/foswiki.cs.uu.nl/foswiki/Center Utrecht] |
− | *[http:// |
+ | *[http://web.archive.org/web/20060829014450/http://haskell.cs.yale.edu/yale/ Yale] |
+ | *[http://web.archive.org/web/20070406004114/https://www.cs.york.ac.uk/fp/ York] |
||
+ | |||
+ | ==Research positions== |
||
+ | |||
+ | Advertise your research position on [[Jobs|the jobs page]]. |
||
+ | |||
+ | ==Researchers== |
||
+ | |||
⚫ | |||
==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=== |
||
*[http://haskell.org/haskell-workshop/1995/ The First Haskell Workshop], 1995, La Jolla. |
*[http://haskell.org/haskell-workshop/1995/ The First Haskell Workshop], 1995, La Jolla. |
||
− | *[http://www. |
+ | *[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://web.archive.org/web/20060813145806/https://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:// |
+ | *[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://web.archive.org/web/20060512052302/www.cse.unsw.edu.au/~chak/hw2002/ The Sixth Haskell Workshop], October 2002, Pittsburgh, USA. |
− | *[http://www. |
+ | *[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== |
||
− | |||
⚫ | |||
− | |||
− | *<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én], The Royal Institute of Technology, Stockholm. [http://yeats.ucc.ie/~abf/ Alex Ferguson], University College Cork, [http://www.galconn.com/~sof/ Sigbjø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ö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ö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é 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 02:29, 1 March 2020
Since its inception, Haskell development has been driven by programming language researchers. This page collects information about that community.
Research groups
- Aachen
- St. Andrews
- Bristol
- Chalmers
- Kansas
- Kent
- Leuven
- Melbourne
- New South Wales (Sydney)
- Nottingham
- OGI
- Oxford
- Queensland (Brisbane)
- Utrecht
- Yale
- York
Research positions
Advertise your research position on the jobs page.
Researchers
Research papers
- A collection of Haskell research papers.
Conferences
- A list of conferences relevant to Haskell.
Haskell Symposium
- The 2008 Haskell Symposium, Victoria, British Columbia, Canada.
Haskell Workshops
- The First Haskell Workshop, 1995, La Jolla.
- The Second Haskell Workshop, 7 June 1997, Amsterdam, The Netherlands.
- The Third Haskell Workshop, 1 October 1999, Paris, France.
- The Fourth Haskell Workshop, 17 September 2000, Montreal, Canada.
- The Fifth Haskell Workshop, September 2001, Firenze, Italy.
- The Sixth Haskell Workshop, October 2002, Pittsburgh, USA.
- The Seventh Haskell Workshop, August 2003, Uppsala, Sweden.
- The Eigth Haskell Workshop, September 2004, Snowbird, Utah, USA.
- The Ninth Haskell Workshop, September 2005, Tallinn, Estonia.
- The Tenth Haskell Workshop, September 2006, Portland, Oregon, USA.
- The Eleventh Haskell Workshop, September 2007, Freiburg, Germany.