Difference between revisions of "Research papers/Authors"
Jump to navigation
Jump to search
DonStewart (talk | contribs) (Couple more authors) |
DonStewart (talk | contribs) (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 |
+ | *[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 |
+ | *[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 |
+ | * [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
A
B
C
D
E
F
G
H
- Cordelia Hall
- Thomas Hallgren
- Kevin Hammond
- Bastiaan Heeren
- Dean Herington
- Ralf Hinze
- Zhenjiang Hu
- Paul Hudak
- John Hughes
I
J
K
L
M
N
O
P
Q
R
S
- Sean Seefried
- Tim Sheard
- Eleni Spiliopoulou
- Don Stewart
- Martin Sulzmann
- Josef Svenningsson
- Doaitse Swierstra
T
U
V
W
X
Y
Z
Authors, please add yourself! :)