Personal tools

Research papers/Authors

From HaskellWiki

< Research papers(Difference between revisions)
Jump to: navigation, search
(Couple more authors)
(Some more authors)
Line 1: Line 1:
 
__TOC__
 
   
 
==A==
 
==A==
Line 9: Line 7:
 
==B==
 
==B==
 
*[http://www.cs.uu.nl/groups/ST/stbib/baars-by-year/baars-by-year-by-year.html Arthur Baars]
 
*[http://www.cs.uu.nl/groups/ST/stbib/baars-by-year/baars-by-year-by-year.html Arthur Baars]
  +
*[http://web.comlab.ox.ac.uk/oucl/work/richard.bird/publications.html Richard Bird]
 
*[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.cs.sfu.ca/people/Faculty/Burton/publications.html F. Warren Burton]
   
 
==C==
 
==C==
 
*[http://www.cse.ogi.edu/~magnus/ Magnus Carlsson]
 
*[http://www.cse.ogi.edu/~magnus/ Magnus Carlsson]
 
*[http://www.cse.unsw.edu.au/~chak/papers/papers.html Manuel M. T. Chakravarty]
 
*[http://www.cse.unsw.edu.au/~chak/papers/papers.html Manuel M. T. Chakravarty]
  +
*[http://www.cs.kent.ac.uk/people/staff/oc/pubs.html Olaf Chitil]
 
*[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]
Line 35: Line 36:
 
==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]
   
 
==H==
 
==H==
  +
*[http://www.dcs.gla.ac.uk/~cvh/ Cordelia Hall]
 
*[http://www.cse.ogi.edu/~hallgren/ Thomas Hallgren]
 
*[http://www.cse.ogi.edu/~hallgren/ Thomas Hallgren]
  +
*[http://www-fp.dcs.st-and.ac.uk/~kh/papers/ABSTRACTS.html Kevin Hammond]
 
*[http://www.cs.uu.nl/~bastiaan/ Bastiaan Heeren]
 
*[http://www.cs.uu.nl/~bastiaan/ Bastiaan Heeren]
 
*[http://www.cs.unc.edu/~heringto/ Dean Herington]
 
*[http://www.cs.unc.edu/~heringto/ Dean Herington]
Line 62: Line 66:
   
 
==L==
 
==L==
*[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.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://www.iai.uni-bonn.de/~loeh/ Andres Löh]
 
*[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]
   
Line 73: Line 77:
 
*[http://www.cs.nott.ac.uk/~ctm/publications.html Conor McBride]
 
*[http://www.cs.nott.ac.uk/~ctm/publications.html Conor McBride]
 
*[http://www.dcs.st-andrews.ac.uk/~james/ James McKinna]
 
*[http://www.dcs.st-andrews.ac.uk/~james/ James McKinna]
  +
*[http://research.microsoft.com/~emeijer/ Eric Meijer]
 
*[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]
Line 80: Line 85:
   
 
==O==
 
==O==
  +
*[http://lampwww.epfl.ch/~odersky/papers/ Martin Odersky]
 
*[http://www.ipl.t.u-tokyo.ac.jp/~onoue/ Yoshiyuki Onoue]
 
*[http://www.ipl.t.u-tokyo.ac.jp/~onoue/ Yoshiyuki Onoue]
   
Line 110: Line 116:
 
==V==
 
==V==
 
* [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://wwwtcs.inf.tu-dresden.de/~voigt/ Janis Voigtl�nder]
+
* [http://wwwtcs.inf.tu-dresden.de/~voigt/ Janis Voigtländer]
   
 
==W==
 
==W==
 
*[http://homepages.inf.ed.ac.uk/wadler/ Philip Wadler]
 
*[http://homepages.inf.ed.ac.uk/wadler/ Philip Wadler]
 
*[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.cis.upenn.edu/~geoffw/research/index.html Geoff Washburn]
 
*[http://www.cis.upenn.edu/~geoffw/research/index.html Geoff Washburn]
 
*[http://www.seas.upenn.edu/%7Esweirich/publications.html Stephanie Weirich]
 
*[http://www.seas.upenn.edu/%7Esweirich/publications.html Stephanie Weirich]

Revision as of 09:28, 9 September 2006

Contents

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! :)