Difference between revisions of "Research papers/Authors"
Jump to navigation
Jump to search
(Delete dupe entry of Graham Hutton) |
(remove peng li, site down, no new site available) |
||
(4 intermediate revisions by the same user not shown) | |||
Line 12: | Line 12: | ||
*[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.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] |
*[http://www.cs.st-andrews.ac.uk/~chrisb/ Christopher Brown] |
||
Line 93: | Line 92: | ||
*[http://www.cs.uu.nl/~daan/pubs.html Daan Leijen] |
*[http://www.cs.uu.nl/~daan/pubs.html Daan Leijen] |
||
*[http://www.cse.ogi.edu/~jlewis Jeff Lewis] |
*[http://www.cse.ogi.edu/~jlewis Jeff Lewis] |
||
− | *[http://www.seas.upenn.edu/~lipeng/homepage/ Peng Li] |
||
*[http://java.sun.com/people/sl/ Sheng Liang] |
*[http://java.sun.com/people/sl/ Sheng Liang] |
||
*[http://www.iai.uni-bonn.de/~loeh Andres Löh] |
*[http://www.iai.uni-bonn.de/~loeh Andres Löh] |
||
− | *[http://www. |
+ | *[http://www.macs.hw.ac.uk/~hwloidl/ Hans-Wolfgang Loidl] |
*[http://www.mathematik.uni-marburg.de/~loogen Rita Loogen] |
*[http://www.mathematik.uni-marburg.de/~loogen Rita Loogen] |
||
*[http://www.frogsonice.com/work.html Sandra J. Loosemore] |
*[http://www.frogsonice.com/work.html Sandra J. Loosemore] |
||
Line 102: | Line 100: | ||
==M== |
==M== |
||
− | *[ |
+ | *[https://simonmar.github.io/ Simon Marlow] |
*[http://personal.cis.strath.ac.uk/~conor/pub/ Conor McBride] |
*[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] |
||
Line 108: | Line 106: | ||
*[http://research.microsoft.com/~emeijer/ Eric Meijer] |
*[http://research.microsoft.com/~emeijer/ Eric Meijer] |
||
*[http://www.engr.uconn.edu/~jeffm/ Jeff Meunier] |
*[http://www.engr.uconn.edu/~jeffm/ Jeff Meunier] |
||
− | *[ |
+ | *[https://ndmitchell.com/ Neil Mitchell] |
*[http://www.disi.unige.it/person/MoggiE/publications.html Eugenio Moggi] |
*[http://www.disi.unige.it/person/MoggiE/publications.html Eugenio Moggi] |
||
*Andrew Moran |
*Andrew Moran |
Revision as of 03:29, 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
- 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
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! :)