Personal tools

Research papers/Authors

From HaskellWiki

< Research papers(Difference between revisions)
Jump to: navigation, search
(+author)
Current revision (22:54, 4 May 2011) (edit) (undo)
m (Updated a few links)
 
(14 intermediate revisions not shown.)
Line 2: Line 2:
==A==
==A==
-
*[http://www.tcs.informatik.uni-muenchen.de/~abel/ Andres Abel]
+
*[http://www2.tcs.ifi.lmu.de/~abel/ Andres Abel]
*[http://www.cs.nott.ac.uk/~txa/publ/ Thorsten Altenkirch]
*[http://www.cs.nott.ac.uk/~txa/publ/ Thorsten Altenkirch]
 +
*[http://homepages.cwi.nl/~atanasso/pub Frank Atanassow]
*[http://www.cs.chalmers.se/~augustss/ Lennart Augustsson]
*[http://www.cs.chalmers.se/~augustss/ Lennart Augustsson]
Line 11: Line 12:
*[http://www.cs.chalmers.se/~bjesse/ Per Bjesse]
*[http://www.cs.chalmers.se/~bjesse/ Per Bjesse]
*[http://www.cs.chalmers.se/~boquist/ Urban Boquist]
*[http://www.cs.chalmers.se/~boquist/ Urban Boquist]
 +
*[http://www.dcs.gla.ac.uk/~bunkenba/ Alex Bunkenburg]
*[http://www.cs.sfu.ca/people/Faculty/Burton/publications.html F. Warren Burton]
*[http://www.cs.sfu.ca/people/Faculty/Burton/publications.html F. Warren Burton]
 +
*[http://www.cs.st-andrews.ac.uk/~chrisb/ Christopher Brown]
==C==
==C==
Line 19: Line 22:
*[http://www.iis.sinica.edu.tw/~trc/node2.html Tyng-Ruey Chuang]
*[http://www.iis.sinica.edu.tw/~trc/node2.html Tyng-Ruey Chuang]
*[http://www.cs.chalmers.se/~koen/pubs/ Koen Claessen]
*[http://www.cs.chalmers.se/~koen/pubs/ Koen Claessen]
 +
*[http://www.dcs.gla.ac.uk/~grmc/ Graham Collins]
 +
*[http://www.irisa.fr/EXTERNE/projet/lande/consel/consel.html Charles Consel]
*[http://www.apocalypse.org/pub/u/antony/work/index.html Antony Courtney]
*[http://www.apocalypse.org/pub/u/antony/work/index.html Antony Courtney]
Line 31: Line 36:
==F==
==F==
-
*[http://web.it.kth.se/~kff/publications.html Karl-Filip Faxn]
+
*[http://web.it.kth.se/~kff/publications.html Karl-Filip Fax&eacute;n]
 +
*[http://yeats.ucc.ie/~abf/ Alex Ferguson]
*[http://www.galois.com/~sof/pubs.html Sigbjorn Finne]
*[http://www.galois.com/~sof/pubs.html Sigbjorn Finne]
*[http://www.cs.uu.nl/people/jeroen/ Jeroen Fokker]
*[http://www.cs.uu.nl/people/jeroen/ Jeroen Fokker]
Line 37: Line 43:
==G==
==G==
*[http://web.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/ Jeremy Gibbons]
*[http://web.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/ Jeremy Gibbons]
-
*[http://www.gill-warbington.com/home/andy/ Andy Gill]
+
*[http://www.monadgarden.com/andy/ Andy Gill]
 +
*[http://www.dcs.gla.ac.uk/~joy/ Joy Goodman]
 +
*[http://research.microsoft.com/~adg/ Andrew D. Gordon]
 +
*Louis-Julien Guillemette
 +
*[http://www.cs.chalmers.se/~gustavss/ J&ouml;rgen Gustavsson]
==H==
==H==
Line 45: Line 55:
*[http://research.microsoft.com/~tharris/ Tim Harris]
*[http://research.microsoft.com/~tharris/ Tim Harris]
*[http://www.cs.uu.nl/~bastiaan/ Bastiaan Heeren]
*[http://www.cs.uu.nl/~bastiaan/ Bastiaan Heeren]
 +
*[http://www.cs.chalmers.se/~heldal/ Rogardt Heldal]
*[http://www.cs.unc.edu/~heringto/ Dean Herington]
*[http://www.cs.unc.edu/~heringto/ Dean Herington]
 +
*[http://www.infosun.fmi.uni-passau.de/cl/staff/herrmann/index.html Christoph A. Herrmann]
*[http://www.informatik.uni-bonn.de/~ralf/publications/ Ralf Hinze]
*[http://www.informatik.uni-bonn.de/~ralf/publications/ Ralf Hinze]
*[http://www.cs.uu.nl/people/stefan Stefan Holdermans]
*[http://www.cs.uu.nl/people/stefan Stefan Holdermans]
 +
*[http://www.cse.ogi.edu/~hook/new/Default.htm James Hook]
*[http://www.ipl.t.u-tokyo.ac.jp/~hu/pub/tech.html Zhenjiang Hu]
*[http://www.ipl.t.u-tokyo.ac.jp/~hu/pub/tech.html Zhenjiang Hu]
*[http://cs-www.cs.yale.edu/homes/hudak.html Paul Hudak]
*[http://cs-www.cs.yale.edu/homes/hudak.html Paul Hudak]
*[http://www.cs.chalmers.se/~rjmh/pubs.htm John Hughes]
*[http://www.cs.chalmers.se/~rjmh/pubs.htm John Hughes]
 +
*[http://www.cs.nott.ac.uk/~gmh/ Graham Hutton]
==I==
==I==
*[http://www.cs.nott.ac.uk/Department/Staff/gmh/bib.html Graham Hutton]
*[http://www.cs.nott.ac.uk/Department/Staff/gmh/bib.html Graham Hutton]
*[http://www.cs.uu.nl/groups/ST/stbib/ijzendoorn-by-year/ijzendoorn-by-year-by-year.html Arjan van IJzendoorn]
*[http://www.cs.uu.nl/groups/ST/stbib/ijzendoorn-by-year/ijzendoorn-by-year-by-year.html Arjan van IJzendoorn]
 +
*[http://www.cs.chalmers.se/~indrika/ Mia Indrika]
==J==
==J==
 +
*[http://www.cs.chalmers.se/~patrikj/ Patrik Jansson]
*[http://www.cs.uu.nl/groups/ST/stbib/jeuring-by-year/jeuring-by-year-by-year.html Johan Jeuring]
*[http://www.cs.uu.nl/groups/ST/stbib/jeuring-by-year/jeuring-by-year-by-year.html Johan Jeuring]
*[http://crab.rutgers.edu/~pjohann/vita.html Patricia Johann]
*[http://crab.rutgers.edu/~pjohann/vita.html Patricia Johann]
 +
*[http://www.cs.chalmers.se/~bengtj/ Bengt Johansson]
 +
*[http://www.cs.chalmers.se/~johnsson Thomas Johnsson]
*[http://web.cecs.pdx.edu/~mpj/pubs.html Mark P. Jones]
*[http://web.cecs.pdx.edu/~mpj/pubs.html Mark P. Jones]
 +
*[http://www.cs.stir.ac.uk/~sbj/ Simon B. Jones]
 +
*[http://research.microsoft.com/Users/simonpj Simon Peyton Jones]
*[http://www.syntaxpolice.org/ Isaac Jones]
*[http://www.syntaxpolice.org/ Isaac Jones]
-
*[http://www.cs.chalmers.se/~patrikj/ Patrik Jansson]
 
==K==
==K==
 +
*[http://users.info.unicaen.fr/~karczma Jerzy Karczmarczuk]
*[http://www.cse.unsw.edu.au/~keller/#publications Gabriele Keller]
*[http://www.cse.unsw.edu.au/~keller/#publications Gabriele Keller]
*[http://okmij.org/ftp/ Oleg Kiselyov]
*[http://okmij.org/ftp/ Oleg Kiselyov]
Line 69: Line 89:
==L==
==L==
 +
*[http://lsi.uniovi.es/~labra Jose E. Labra]
*[http://homepages.cwi.nl/~ralf/publications.html Ralf Lämmel]
*[http://homepages.cwi.nl/~ralf/publications.html Ralf Lämmel]
*[http://www.cse.ogi.edu/~jl John Launchbury]
*[http://www.cse.ogi.edu/~jl John Launchbury]
*[http://www.cs.uu.nl/~daan/pubs.html Daan Leijen]
*[http://www.cs.uu.nl/~daan/pubs.html Daan Leijen]
 +
*[http://www.cse.ogi.edu/~jlewis Jeff Lewis]
*[http://www.seas.upenn.edu/~lipeng/homepage/ Peng Li]
*[http://www.seas.upenn.edu/~lipeng/homepage/ Peng Li]
-
*[http://www.iai.uni-bonn.de/~loeh/ Andres Löh]
+
*[http://java.sun.com/people/sl/ Sheng Liang]
 +
*[http://www.iai.uni-bonn.de/~loeh Andres L&ouml;h]
 +
*[http://www.dcs.gla.ac.uk/~hwloidl/ Hans-Wolfgang Loidl]
 +
*[http://www.mathematik.uni-marburg.de/~loogen Rita Loogen]
 +
*[http://www.frogsonice.com/work.html Sandra J. Loosemore]
*[http://web.comlab.ox.ac.uk/oucl/work/ian.lynagh/papers/ Ian Lynagh]
*[http://web.comlab.ox.ac.uk/oucl/work/ian.lynagh/papers/ Ian Lynagh]
==M==
==M==
*[http://www.haskell.org/~simonmar/bib/bib.html Simon Marlow]
*[http://www.haskell.org/~simonmar/bib/bib.html Simon Marlow]
-
*[http://www.cs.nott.ac.uk/~ctm/publications.html Conor McBride]
+
*[http://personal.cis.strath.ac.uk/~conor/pub/ Conor McBride]
*[http://www.dcs.st-andrews.ac.uk/~james/ James McKinna]
*[http://www.dcs.st-andrews.ac.uk/~james/ James McKinna]
*[http://www.kestrel.edu/home/people/meertens/ Lambert Meertens]
*[http://www.kestrel.edu/home/people/meertens/ Lambert Meertens]
*[http://research.microsoft.com/~emeijer/ Eric Meijer]
*[http://research.microsoft.com/~emeijer/ Eric Meijer]
 +
*[http://www.engr.uconn.edu/~jeffm/ Jeff Meunier]
*[http://www-users.cs.york.ac.uk/~ndm/downloads.php Neil Mitchell]
*[http://www-users.cs.york.ac.uk/~ndm/downloads.php Neil Mitchell]
*[http://www.disi.unige.it/person/MoggiE/publications.html Eugenio Moggi]
*[http://www.disi.unige.it/person/MoggiE/publications.html Eugenio Moggi]
 +
*Andrew Moran
 +
*Stefan Monnier
==N==
==N==
*[http://cs-www.cs.yale.edu/homes/nilsson/papers.html Henrik Nilsson]
*[http://cs-www.cs.yale.edu/homes/nilsson/papers.html Henrik Nilsson]
 +
*[http://www.cse.ogi.edu/~nordin Thomas Nordin]
 +
*[http://www.cse.ogi.edu/~nordland/ Johan Nordlander]
==O==
==O==
*[http://lampwww.epfl.ch/~odersky/papers/ Martin Odersky]
*[http://lampwww.epfl.ch/~odersky/papers/ Martin Odersky]
 +
*[http://www.dcs.gla.ac.uk/~jtod/ John O'Donnell]
 +
*[http://www.eecs.usma.edu/Personnel/okasaki Chris Okasaki]
*[http://www.ipl.t.u-tokyo.ac.jp/~onoue/ Yoshiyuki Onoue]
*[http://www.ipl.t.u-tokyo.ac.jp/~onoue/ Yoshiyuki Onoue]
==P==
==P==
 +
*[http://www.cs.chalmers.se/~pareto/ Lars Pareto]
 +
*[http://www.dcs.gla.ac.uk/~partain/ Will Partain]
*[http://www.soi.city.ac.uk/~ross/papers/ Ross Paterson]
*[http://www.soi.city.ac.uk/~ross/papers/ Ross Paterson]
-
*[http://research.microsoft.com/~simonpj/Papers/papers.html Simon Peyton Jones]
+
*[[User:John Peterson|John Peterson]]
 +
*[http://research.microsoft.com/Users/simonpj Simon Peyton Jones]
*[http://www.cs.mu.oz.au/~bjpop/papers.html Bernie Pope]
*[http://www.cs.mu.oz.au/~bjpop/papers.html Bernie Pope]
 +
*[http://www.mathematik.uni-marburg.de/~priebe Steffen Priebe]
 +
*[http://ad-astra.ro/Ha$kell Popa Dan <br> Public e-mail: popavdan@yahoo.com]
==Q==
==Q==
==R==
==R==
 +
*[http://www.reid-consulting-uk.ltd.uk/alastair/ Alastair Reid]
 +
*[http://www.dcs.gla.ac.uk/~reidrm/ Richard Reid]
 +
*[http://www.dcs.gla.ac.uk/~reig/ Fermin Reig]
*[http://www-users.cs.york.ac.uk/~colin/ Colin Runciman]
*[http://www-users.cs.york.ac.uk/~colin/ Colin Runciman]
==S==
==S==
 +
*[http://www.cs.chalmers.se/~andrei/ Andrei Sabelfeld]
 +
*[http://www.dcs.gla.ac.uk/~meurig/ Meurig Sage]
 +
*[http://www.cs.chalmers.se/~dave/ David Sands]
 +
*[http://www.dcs.gla.ac.uk/~sansom/ Patrick Sansom]
 +
*[http://www.di.ufpe.br/~alms/ Andr&eacute; Santos]
 +
*[http://users.ugent.be/~tschrijv/ Tom Schrijvers]
*[http://www.cse.unsw.edu.au/~sseefried/papers/papers.html Sean Seefried]
*[http://www.cse.unsw.edu.au/~sseefried/papers/papers.html Sean Seefried]
*[http://web.cecs.pdx.edu/~sheard/papers/ Tim Sheard]
*[http://web.cecs.pdx.edu/~sheard/papers/ Tim Sheard]
 +
*[http://www.cs.chalmers.se/~ms/ Mary Sheeran]
 +
*[http://www.cse.ogi.edu/~mbs/ Mark Shields]
 +
*[http://www.dis.strath.ac.uk/people/sinclair/ Duncan Sinclair]
 +
*[http://research.microsoft.com/en-us/people/satnams/ Satnam Singh]
 +
*[http://www.cs.chalmers.se/~sparud/ Jan Sparud]
*[http://www.cs.bris.ac.uk/~spilio/ Eleni Spiliopoulou]
*[http://www.cs.bris.ac.uk/~spilio/ Eleni Spiliopoulou]
*[http://www.cse.unsw.edu.au/~dons/papers.html Don Stewart]
*[http://www.cse.unsw.edu.au/~dons/papers.html Don Stewart]
-
*[http://www.comp.nus.edu.sg/~sulzmann/ Martin Sulzmann]
+
*[http://ww2.cs.mu.oz.au/~sulzmann/ Martin Sulzmann]
-
*[http://www.cs.chalmers.se/~josefs/ Josef Svenningsson]
+
*[http://www.cse.chalmers.se/~josefs/ Josef Svenningsson]
*[http://www.cs.uu.nl/groups/ST/stbib/swierstra-by-year/swierstra-by-year-by-year.html Doaitse Swierstra]
*[http://www.cs.uu.nl/groups/ST/stbib/swierstra-by-year/swierstra-by-year-by-year.html Doaitse Swierstra]
==T==
==T==
*[http://www.cs.chalmers.se/~makoto Makoto Takeyama]
*[http://www.cs.chalmers.se/~makoto Makoto Takeyama]
-
*[http://www.math.uni-bremen.de/~thielema/ResearchE.html Henning Thielemann]
+
*[http://www.henning-thielemann.de/ResearchE.html Henning Thielemann]
*[http://www.cs.kent.ac.uk/people/staff/sjt/pubs.html Simon Thompson]
*[http://www.cs.kent.ac.uk/people/staff/sjt/pubs.html Simon Thompson]
 +
*[http://www.cs.york.ac.uk/~mjt/ Michael Thyer]
*[http://www.macs.hw.ac.uk/~trinder/publications.html Paul Trinder]
*[http://www.macs.hw.ac.uk/~trinder/publications.html Paul Trinder]
*[http://www.cs.yale.edu/homes/tullsen/publications.html Mark Tullsen]
*[http://www.cs.yale.edu/homes/tullsen/publications.html Mark Tullsen]
Line 125: Line 178:
* [http://www.cs.ru.nl/A.vanWeelden/index.php?p=publications Arjen van Weelden]
* [http://www.cs.ru.nl/A.vanWeelden/index.php?p=publications Arjen van Weelden]
* [http://www.cs.ut.ee/~varmo/papers/index.html Varmo Vene]
* [http://www.cs.ut.ee/~varmo/papers/index.html Varmo Vene]
-
* [http://wwwtcs.inf.tu-dresden.de/~voigt/ Janis Voigtländer]
+
* [http://www.iai.uni-bonn.de/~jv/ Janis Voigtländer]
==W==
==W==
*[http://homepages.inf.ed.ac.uk/wadler/ Philip Wadler]
*[http://homepages.inf.ed.ac.uk/wadler/ Philip Wadler]
 +
*[http://www.imn.htwk-leipzig.de/~waldmann/ Johannes Waldmann]
*[ftp://ftp.cs.york.ac.uk/pub/malcolm/ Malcolm Wallace]
*[ftp://ftp.cs.york.ac.uk/pub/malcolm/ Malcolm Wallace]
*[http://www.lochan.org/keith/publications/index.html Keith Wansbrough]
*[http://www.lochan.org/keith/publications/index.html Keith Wansbrough]
Line 134: Line 188:
*[http://www.seas.upenn.edu/%7Esweirich/publications.html Stephanie Weirich]
*[http://www.seas.upenn.edu/%7Esweirich/publications.html Stephanie Weirich]
*[http://www.informatik.uni-freiburg.de/~wehr/#Publications Stefan Wehr]
*[http://www.informatik.uni-freiburg.de/~wehr/#Publications Stefan Wehr]
 +
*[http://www.lotus.com/lotus/research.nsf/grouppage?Openpage Eric Wilcox]
 +
*[http://www.dcs.gla.ac.uk/~nww/ Noel Winstanley]
==X==
==X==

Current revision


1 A

2 B

3 C

4 D

5 E

6 F

7 G

8 H

9 I

10 J

11 K

12 L

13 M

14 N

15 O

16 P

17 Q

18 R

19 S

20 T

21 U

22 V

23 W

24 X

25 Y

26 Z

Authors, please add yourself! :)

Retrieved from "http://www.haskell.org/haskellwiki/Research_papers/Authors"