Personal tools

Haskell in research

From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
(link)
(update haskell people list)
Line 39: Line 39:
 
*[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.
   
==People==
+
* [[Research_papers/Authors|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]]

Revision as of 02:32, 29 October 2006

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

Contents

1 Research groups

2 Research papers

A collection of Haskell research papers.

3 Conferences

A list of conferences relevant to Haskell.

3.1 Haskell Workshops