Difference between revisions of "Research papers/Authors"
Jump to navigation
Jump to search
(remove people with no homepages , update others) |
(fix more links) |
||
| Line 17: | Line 17: | ||
==C== |
==C== |
||
*[http://www.cse.ogi.edu/~magnus/ Magnus Carlsson] |
*[http://www.cse.ogi.edu/~magnus/ Magnus Carlsson] |
||
| − | *[ |
+ | *[https://scholar.google.com/citations?user=w6XYY_EAAAAJ Manuel M. T. Chakravarty] |
*[http://www.cs.kent.ac.uk/people/staff/oc/pubs.html Olaf Chitil] |
*[http://www.cs.kent.ac.uk/people/staff/oc/pubs.html Olaf Chitil] |
||
| − | *[ |
+ | *[https://homepage.iis.sinica.edu.tw/~trc/public/ Tyng-Ruey Chuang] |
*[http://www.cs.chalmers.se/~koen/pubs/ Koen Claessen] |
*[http://www.cs.chalmers.se/~koen/pubs/ Koen Claessen] |
||
*[https://www.mgmt.ucl.ac.uk/people/grahamcollins Graham Collins] |
*[https://www.mgmt.ucl.ac.uk/people/grahamcollins Graham Collins] |
||
| Line 82: | Line 82: | ||
==K== |
==K== |
||
*[https://dblp.org/pid/36/3915.html Jerzy Karczmarczuk] |
*[https://dblp.org/pid/36/3915.html Jerzy Karczmarczuk] |
||
| − | *[ |
+ | *[https://www.cse.unsw.edu.au/~keller/ Gabriele Keller] |
*[http://okmij.org/ftp/ Oleg Kiselyov] |
*[http://okmij.org/ftp/ Oleg Kiselyov] |
||
*[http://www.cse.ogi.edu/~krstic/ Sava Krstic] |
*[http://www.cse.ogi.edu/~krstic/ Sava Krstic] |
||
| Line 118: | Line 118: | ||
==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.dcs.gla.ac.uk/~jtod/publications/ John O'Donnell] |
*[http://www.eecs.usma.edu/Personnel/okasaki Chris Okasaki] |
*[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] |
||
| Line 140: | Line 140: | ||
==S== |
==S== |
||
*[http://www.cs.chalmers.se/~andrei/ Andrei Sabelfeld] |
*[http://www.cs.chalmers.se/~andrei/ Andrei Sabelfeld] |
||
| − | *[ |
+ | *[https://dblp.org/pid/88/4117.html Meurig Sage] |
*[http://www.cs.chalmers.se/~dave/ David Sands] |
*[http://www.cs.chalmers.se/~dave/ David Sands] |
||
*[http://www.di.ufpe.br/~alms/ André Santos] |
*[http://www.di.ufpe.br/~alms/ André Santos] |
||
| Line 180: | Line 180: | ||
*[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] |
||
| − | *[ |
+ | *[https://scholar.google.com/citations?user=CDnHeN8AAAAJ Stefan Wehr] |
*[http://www.lotus.com/lotus/research.nsf/grouppage?Openpage Eric Wilcox] |
*[http://www.lotus.com/lotus/research.nsf/grouppage?Openpage Eric Wilcox] |
||
*[https://sites.google.com/site/noelwinstanley/curriculum-vitae Noel Winstanley] |
*[https://sites.google.com/site/noelwinstanley/curriculum-vitae Noel Winstanley] |
||
==X== |
==X== |
||
| − | *[http:// |
+ | *[http://pauillac.inria.fr/~naxu/ Dana Xu] |
==Y== |
==Y== |
||
Revision as of 04:18, 25 July 2021
A
B
C
- Magnus Carlsson
- Manuel M. T. Chakravarty
- Olaf Chitil
- Tyng-Ruey Chuang
- Koen Claessen
- Graham Collins
- Charles Consel
- Antony Courtney
D
E
F
G
- Jeremy Gibbons
- Andy Gill
- Joy Goodman
- Andrew D. Gordon
- Louis-Julien Guillemette
- Jörgen Gustavsson
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
I
J
- Patrik Jansson
- Johan Jeuring
- Patricia Johann
- Bengt Johansson
- Thomas Johnsson
- Mark P. Jones
- Simon B. Jones
- Simon Peyton Jones
- Isaac Jones
K
L
- Jose E. Labra
- Ralf Lämmel
- John Launchbury
- Daan Leijen
- Jeff Lewis
- Sheng Liang
- Andres Löh
- Hans-Wolfgang Loidl
- Rita Loogen
- Sandra J. Loosemore
- Ian Lynagh
M
- Simon Marlow
- Conor McBride
- James McKinna
- Lambert Meertens
- Eric Meijer
- Jeff Meunier
- Neil Mitchell
- Eugenio Moggi
- Andrew Moran
- Stefan Monnier
N
O
P
- Lars Pareto
- Will Partain
- Ross Paterson
- John Peterson
- Simon Peyton Jones
- Bernie Pope
- Steffen Priebe
- Popa Dan
Public e-mail: popavdan@yahoo.com
Q
R
S
- Andrei Sabelfeld
- Meurig Sage
- David Sands
- 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
T
U
V
W
- Philip Wadler
- Johannes Waldmann
- Malcolm Wallace
- Keith Wansbrough
- Geoff Washburn
- Stephanie Weirich
- Stefan Wehr
- Eric Wilcox
- Noel Winstanley
X
Y
Z
Authors, please add yourself! :)