Difference between revisions of "Research papers/Authors"
Jump to navigation
Jump to search
(fix more links) |
m |
||
| Line 77: | Line 77: | ||
*[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://www.cs.stir.ac.uk/~sbj/ Simon B. Jones] |
||
| − | *[ |
+ | *[https://simon.peytonjones.org Simon Peyton Jones] |
*[http://www.syntaxpolice.org/ Isaac Jones] |
*[http://www.syntaxpolice.org/ Isaac Jones] |
||
| Line 127: | Line 127: | ||
*[http://www.soi.city.ac.uk/~ross/papers/ Ross Paterson] |
*[http://www.soi.city.ac.uk/~ross/papers/ Ross Paterson] |
||
*[[User:John Peterson|John Peterson]] |
*[[User:John Peterson|John Peterson]] |
||
| − | *[ |
+ | *[https://simon.peytonjones.org 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] |
||
*[https://www.leibniz-hki.de/en/institut-staff-details.html?member=328 Steffen Priebe] |
*[https://www.leibniz-hki.de/en/institut-staff-details.html?member=328 Steffen Priebe] |
||
Latest revision as of 05:43, 1 September 2022
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! :)