Research papers/Authors
From HaskellWiki
< Research papers(Difference between revisions)
m (Updated a few links) |
|||
| (8 intermediate revisions not shown.) | |||
| Line 2: | Line 2: | ||
==A== | ==A== | ||
| - | *[http:// | + | *[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://homepages.cwi.nl/~atanasso/pub Frank Atanassow] | ||
| Line 14: | Line 14: | ||
*[http://www.dcs.gla.ac.uk/~bunkenba/ Alex Bunkenburg] | *[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 42: | 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. | + | *[http://www.monadgarden.com/andy/ Andy Gill] |
*[http://www.dcs.gla.ac.uk/~joy/ Joy Goodman] | *[http://www.dcs.gla.ac.uk/~joy/ Joy Goodman] | ||
*[http://research.microsoft.com/~adg/ Andrew D. Gordon] | *[http://research.microsoft.com/~adg/ Andrew D. Gordon] | ||
| Line 103: | Line 104: | ||
==M== | ==M== | ||
*[http://www.haskell.org/~simonmar/bib/bib.html Simon Marlow] | *[http://www.haskell.org/~simonmar/bib/bib.html Simon Marlow] | ||
| - | *[http:// | + | *[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] | ||
| Line 132: | Line 133: | ||
*[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://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== | ||
| Line 147: | Line 149: | ||
*[http://www.dcs.gla.ac.uk/~sansom/ Patrick Sansom] | *[http://www.dcs.gla.ac.uk/~sansom/ Patrick Sansom] | ||
*[http://www.di.ufpe.br/~alms/ André Santos] | *[http://www.di.ufpe.br/~alms/ André Santos] | ||
| - | *[http:// | + | *[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] | ||
| Line 153: | Line 155: | ||
*[http://www.cse.ogi.edu/~mbs/ Mark Shields] | *[http://www.cse.ogi.edu/~mbs/ Mark Shields] | ||
*[http://www.dis.strath.ac.uk/people/sinclair/ Duncan Sinclair] | *[http://www.dis.strath.ac.uk/people/sinclair/ Duncan Sinclair] | ||
| - | *[http:// | + | *[http://research.microsoft.com/en-us/people/satnams/ Satnam Singh] |
*[http://www.cs.chalmers.se/~sparud/ Jan Sparud] | *[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:// | + | *[http://ww2.cs.mu.oz.au/~sulzmann/ Martin Sulzmann] |
| - | *[http://www. | + | *[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. | + | *[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.cs.york.ac.uk/~mjt/ Michael Thyer] | ||
| Line 176: | 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:// | + | * [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] | ||
Current revision
1 A
2 B
- Arthur Baars
- Richard Bird
- Per Bjesse
- Urban Boquist
- Alex Bunkenburg
- F. Warren Burton
- Christopher Brown
3 C
- Magnus Carlsson
- Manuel M. T. Chakravarty
- Olaf Chitil
- Tyng-Ruey Chuang
- Koen Claessen
- Graham Collins
- Charles Consel
- Antony Courtney
4 D
5 E
6 F
7 G
- Jeremy Gibbons
- Andy Gill
- Joy Goodman
- Andrew D. Gordon
- Louis-Julien Guillemette
- Jörgen Gustavsson
8 H
- Cordelia Hall
- Thomas Hallgren
- Kevin Hammond
- Tim Harris
- Bastiaan Heeren
- Rogardt Heldal
- Dean Herington
- Christoph A. Herrmann
- Ralf Hinze
- Stefan Holdermans
- James Hook
- Zhenjiang Hu
- Paul Hudak
- John Hughes
- Graham Hutton
9 I
10 J
- Patrik Jansson
- Johan Jeuring
- Patricia Johann
- Bengt Johansson
- Thomas Johnsson
- Mark P. Jones
- Simon B. Jones
- Simon Peyton Jones
- Isaac Jones
11 K
12 L
- Jose E. Labra
- Ralf Lämmel
- John Launchbury
- Daan Leijen
- Jeff Lewis
- Peng Li
- Sheng Liang
- Andres Löh
- Hans-Wolfgang Loidl
- Rita Loogen
- Sandra J. Loosemore
- Ian Lynagh
13 M
- Simon Marlow
- Conor McBride
- James McKinna
- Lambert Meertens
- Eric Meijer
- Jeff Meunier
- Neil Mitchell
- Eugenio Moggi
- Andrew Moran
- Stefan Monnier
14 N
15 O
16 P
- Lars Pareto
- Will Partain
- Ross Paterson
- John Peterson
- Simon Peyton Jones
- Bernie Pope
- Steffen Priebe
- Popa Dan
Public e-mail: popavdan@yahoo.com
17 Q
18 R
19 S
- Andrei Sabelfeld
- Meurig Sage
- David Sands
- Patrick Sansom
- André Santos
- Tom Schrijvers
- Sean Seefried
- Tim Sheard
- Mary Sheeran
- Mark Shields
- Duncan Sinclair
- Satnam Singh
- Jan Sparud
- Eleni Spiliopoulou
- Don Stewart
- Martin Sulzmann
- Josef Svenningsson
- Doaitse Swierstra
20 T
21 U
22 V
23 W
- Philip Wadler
- Johannes Waldmann
- Malcolm Wallace
- Keith Wansbrough
- Geoff Washburn
- Stephanie Weirich
- Stefan Wehr
- Eric Wilcox
- Noel Winstanley
24 X
25 Y
26 Z
Authors, please add yourself! :)
