Difference between revisions of "Links"

From HaskellWiki
Jump to navigation Jump to search
(20 intermediate revisions by 10 users not shown)
Line 1: Line 1:
  +
[[Category:Community]]
=Links to People and Pages=
 
  +
This page is obsolete. It's content has been replaced by:
  +
* [[Haskell in research]]
  +
* [[Haskell in industry]]
   
 
==Research groups:==
 
==Research groups:==
Line 7: Line 10:
 
*[http://www.cs.bris.ac.uk/%7Eian/Functional/ Bristol]</li>
 
*[http://www.cs.bris.ac.uk/%7Eian/Functional/ Bristol]</li>
 
*[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 University]
 
*[http://www.cs.kent.ac.uk/research/groups/tcs/fp/ Kent]</li>
 
*[http://www.cs.kent.ac.uk/research/groups/tcs/fp/ Kent]</li>
 
*[http://www.cs.mu.oz.au/fpu/ Melbourne]</li>
 
*[http://www.cs.mu.oz.au/fpu/ Melbourne]</li>
Line 19: Line 23:
 
== Haskell Companies ==
 
== Haskell Companies ==
   
*[http://galconn.com/ Galois Connections]
+
*[http://www.galois.com/ Galois Connections]
 
*[http://www.aetion.com/ Aetion Technologies LLC]
 
*[http://www.aetion.com/ Aetion Technologies LLC]
   
Line 25: Line 29:
 
== People ==
 
== People ==
   
*<b>A:</b> [http://www.cs.chalmers.se/~agat/ Johan Agat], Chalmers University of Technology, [http://www.cs.chalmers.se/~augustss Lennart Augustsson], Chalmers University of Technology
+
*<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>B:</b>[http://www.cs.york.ac.uk/~ajb/ Adam Bakewell], University of York, [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>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>D:</b>[http://www.c3.lanl.gov/~kei/kei.html Kei Davis], Los Alamos National Laboratory,
*<b>E:</b>[http://www.conal.net/ Conal Elliott], [http://www.cs.orst.edu/~erwig/ Martin Erwig], Oregon State University,
+
*<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>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://cse.ogi.edu/~andy Andy Gill], OGI, [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>G:</b> [http://www.comlab.ox.ac.uk/oucl/people/jeremy.gibbons.html Jeremy Gibbons], Oxford University, [http://www.ittc.ku.edu/~andygill/ 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>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>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>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>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.cs.uu.nl/staff/andres.html Andres L&ouml;h], Utrecht University, [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>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>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>N:</b>[http://www.cse.ogi.edu/~nordin Thomas Nordin], OGI, [http://www.cse.ogi.edu/~nordland/ Johan Nordlander], OGI,
Line 43: Line 46:
 
*<b>Q:</b>
 
*<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>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>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>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>U:</b>
 
*<b>V:</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, <a href[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>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>X:</b>
 
*<b>Y:</b>
 
*<b>Y:</b>
Line 57: Line 60:
 
*[http://www.cse.ogi.edu/~jl/ACM/Haskell.html The Second Haskell Workshop], 7 June 1997, Amsterdam, The Netherlands.
 
*[http://www.cse.ogi.edu/~jl/ACM/Haskell.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://www.cs.uu.nl/people/ralf/hw2001.html 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.cs.uu.nl/~johanj/HaskellWorkshop/cfp03.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://haskell.org/haskell-workshop/2006/ The Tenth Haskell Workshop], September 2006, Portland, Oregon, USA.
   
 
== Other Haskell Pages ==
 
== Other Haskell Pages ==
   
 
*[http://www.haskell.de/ The German Haskell Page - www.haskell.de]
 
*[http://www.haskell.de/ The German Haskell Page - www.haskell.de]
*[http://www.cs.nott.ac.uk/~gmh/faq.html#haskell Entry for Haskell] in the [http://www.cs.nott.ac.uk/~gmh/faq.html Frequently Asked Questions of the newsgroup <SAMP>comp.lang.functional</SAMP>]
+
*[http://www.cs.nott.ac.uk/~gmh/faq.html#haskell Entry for Haskell] in the [http://www.cs.nott.ac.uk/~gmh/faq.html Frequently Asked Questions of the newsgroup <tt>comp.lang.functional</tt>]
 
*[http://www.dcs.gla.ac.uk/fp/software/ghc/nofib.html NoFib benchmark suite] A collection of Haskell programs for benchmarking. [http://cvs.haskell.org/cgi-bin/cvsweb.cgi/fptools/nofib/ Latest version].
 
*[http://www.dcs.gla.ac.uk/fp/software/ghc/nofib.html NoFib benchmark suite] A collection of Haskell programs for benchmarking. [http://cvs.haskell.org/cgi-bin/cvsweb.cgi/fptools/nofib/ Latest version].
  +
*There is a popular [[Haskell IRC Channel]].
*There is an irc #haskell channel on [http://irc.haskell.org irc.haskell.org]
 
 
*[http://www.newsforge.com/article.pl?sid=01/07/03/0117248&mode=thread Interview with Simon Peyton Jones at NewsForge]
 
*[http://www.newsforge.com/article.pl?sid=01/07/03/0117248&mode=thread Interview with Simon Peyton Jones at NewsForge]
   
Line 89: Line 93:
 
*[http://www.dcs.qmw.ac.uk/SEL-HPC/Articles/FuncArchive.html The SEL-HPC Functional Programming Archive]
 
*[http://www.dcs.qmw.ac.uk/SEL-HPC/Articles/FuncArchive.html The SEL-HPC Functional Programming Archive]
 
*[http://www.reid-consulting-uk.ltd.uk/docs/ffi.html A Guide to Haskell's Foreign Function Interface]
 
*[http://www.reid-consulting-uk.ltd.uk/docs/ffi.html A Guide to Haskell's Foreign Function Interface]
  +
*[http://haskell.readscheme.org Online Bibliography of Haskell Research]
   
   

Revision as of 03:19, 10 August 2009

This page is obsolete. It's content has been replaced by:

   * Haskell in research
   * Haskell in industry

Research groups:

Haskell Companies


People

Haskell Workshops

Other Haskell Pages

Functional Programming in General

Starting with functional programming:

There already exist several large collections of links to functional programming. Hence there is no point in us trying to make a new one. So here are links to collections of links to functional programming:

Literature


Some Other Languages