Difference between revisions of "Research papers/Authors"
Jump to navigation
Jump to search
(remove Bunkenburg , site down, no new site available) |
m |
||
(4 intermediate revisions by one other user not shown) | |||
Line 4: | Line 4: | ||
*[http://www2.tcs.ifi.lmu.de/~abel/ Andres Abel] |
*[http://www2.tcs.ifi.lmu.de/~abel/ Andres Abel] |
||
*[http://www.cs.nott.ac.uk/~txa/publ/ Thorsten Altenkirch] |
*[http://www.cs.nott.ac.uk/~txa/publ/ Thorsten Altenkirch] |
||
− | *[ |
+ | *[https://dblp.org/pid/30/2606.html Frank Atanassow] |
*[http://www.cs.chalmers.se/~augustss/ Lennart Augustsson] |
*[http://www.cs.chalmers.se/~augustss/ Lennart Augustsson] |
||
==B== |
==B== |
||
− | *[ |
+ | *[https://www.haskellers.com/user/arthurbaars Arthur Baars] |
*[http://web.comlab.ox.ac.uk/oucl/work/richard.bird/publications.html Richard Bird] |
*[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] |
||
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] |
− | *[http:// |
+ | *[http://phoenix.inria.fr/charles-consel Charles Consel] |
*[http://www.apocalypse.org/pub/u/antony/work/index.html Antony Courtney] |
*[http://www.apocalypse.org/pub/u/antony/work/index.html Antony Courtney] |
||
Line 35: | Line 35: | ||
==F== |
==F== |
||
− | *[ |
+ | *[https://dblp.org/pid/31/6231.html Karl-Filip Faxén] |
*[http://yeats.ucc.ie/~abf/ Alex Ferguson] |
*[http://yeats.ucc.ie/~abf/ Alex Ferguson] |
||
− | *[ |
+ | *[https://dblp.org/pid/08/649.html Sigbjorn Finne] |
*[http://www.cs.uu.nl/people/jeroen/ Jeroen Fokker] |
*[http://www.cs.uu.nl/people/jeroen/ Jeroen Fokker] |
||
Line 43: | Line 43: | ||
*[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.monadgarden.com/andy/ Andy Gill] |
*[http://www.monadgarden.com/andy/ Andy Gill] |
||
− | *[ |
+ | *[https://www-edc.eng.cam.ac.uk/people/jag76.html Joy Goodman] |
*[http://research.microsoft.com/~adg/ Andrew D. Gordon] |
*[http://research.microsoft.com/~adg/ Andrew D. Gordon] |
||
*Louis-Julien Guillemette |
*Louis-Julien Guillemette |
||
Line 55: | Line 55: | ||
*[http://www.cs.uu.nl/~bastiaan/ Bastiaan Heeren] |
*[http://www.cs.uu.nl/~bastiaan/ Bastiaan Heeren] |
||
*[http://www.cs.chalmers.se/~heldal/ Rogardt Heldal] |
*[http://www.cs.chalmers.se/~heldal/ Rogardt Heldal] |
||
− | *[ |
+ | *[https://dblp.org/pid/13/1044.html Dean Herington] |
*[http://www.infosun.fmi.uni-passau.de/cl/staff/herrmann/index.html Christoph A. Herrmann] |
*[http://www.infosun.fmi.uni-passau.de/cl/staff/herrmann/index.html Christoph A. Herrmann] |
||
− | *[ |
+ | *[https://www.cs.ox.ac.uk/people/ralf.hinze/ Ralf Hinze] |
*[http://www.cs.uu.nl/people/stefan Stefan Holdermans] |
*[http://www.cs.uu.nl/people/stefan Stefan Holdermans] |
||
*[http://www.cse.ogi.edu/~hook/new/Default.htm James Hook] |
*[http://www.cse.ogi.edu/~hook/new/Default.htm James Hook] |
||
*[http://www.ipl.t.u-tokyo.ac.jp/~hu/pub/tech.html Zhenjiang Hu] |
*[http://www.ipl.t.u-tokyo.ac.jp/~hu/pub/tech.html Zhenjiang Hu] |
||
− | *[ |
+ | *[https://en.wikipedia.org/wiki/Paul_Hudak Paul Hudak] |
*[http://www.cs.chalmers.se/~rjmh/pubs.htm John Hughes] |
*[http://www.cs.chalmers.se/~rjmh/pubs.htm John Hughes] |
||
*[http://www.cs.nott.ac.uk/~gmh/ Graham Hutton] |
*[http://www.cs.nott.ac.uk/~gmh/ Graham Hutton] |
||
Line 71: | Line 71: | ||
==J== |
==J== |
||
*[http://www.cs.chalmers.se/~patrikj/ Patrik Jansson] |
*[http://www.cs.chalmers.se/~patrikj/ Patrik Jansson] |
||
− | *[ |
+ | *[https://webspace.science.uu.nl/~jeuri101/homepage/ Johan Jeuring] |
− | *[ |
+ | *[https://cs.appstate.edu/~johannp/ Patricia Johann] |
*[http://www.cs.chalmers.se/~bengtj/ Bengt Johansson] |
*[http://www.cs.chalmers.se/~bengtj/ Bengt Johansson] |
||
*[http://www.cs.chalmers.se/~johnsson Thomas Johnsson] |
*[http://www.cs.chalmers.se/~johnsson Thomas Johnsson] |
||
*[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] |
||
==K== |
==K== |
||
− | *[ |
+ | *[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 88: | Line 88: | ||
==L== |
==L== |
||
*[http://lsi.uniovi.es/~labra Jose E. Labra] |
*[http://lsi.uniovi.es/~labra Jose E. Labra] |
||
− | *[ |
+ | *[https://dblp.org/pid/l/RalfLammel.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.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] |
||
− | *[ |
+ | *[https://www.andres-loeh.de/ 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 106: | Line 105: | ||
*[http://www.kestrel.edu/home/people/meertens/ Lambert Meertens] |
*[http://www.kestrel.edu/home/people/meertens/ Lambert Meertens] |
||
*[http://research.microsoft.com/~emeijer/ Eric Meijer] |
*[http://research.microsoft.com/~emeijer/ Eric Meijer] |
||
− | *[ |
+ | *[https://twitter.com/jeffreymeunier Jeff Meunier] |
*[https://ndmitchell.com/ Neil Mitchell] |
*[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] |
||
Line 113: | Line 112: | ||
==N== |
==N== |
||
− | *[ |
+ | *[https://www.nottingham.ac.uk/computerscience/people/henrik.nilsson Henrik Nilsson] |
*[http://www.cse.ogi.edu/~nordin Thomas Nordin] |
*[http://www.cse.ogi.edu/~nordin Thomas Nordin] |
||
*[http://www.cse.ogi.edu/~nordland/ Johan Nordlander] |
*[http://www.cse.ogi.edu/~nordland/ Johan Nordlander] |
||
Line 119: | 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 128: | 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] |
*[http://ad-astra.ro/Ha$kell Popa Dan <br> Public e-mail: popavdan@yahoo.com] |
*[http://ad-astra.ro/Ha$kell Popa Dan <br> Public e-mail: popavdan@yahoo.com] |
||
Line 137: | Line 136: | ||
==R== |
==R== |
||
*[http://www.reid-consulting-uk.ltd.uk/alastair/ Alastair Reid] |
*[http://www.reid-consulting-uk.ltd.uk/alastair/ Alastair Reid] |
||
− | *[http://www.dcs.gla.ac.uk/~reidrm/ Richard Reid] |
||
− | *[http://www.dcs.gla.ac.uk/~reig/ Fermin Reig] |
||
*[http://www-users.cs.york.ac.uk/~colin/ Colin Runciman] |
*[http://www-users.cs.york.ac.uk/~colin/ Colin Runciman] |
||
==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.dcs.gla.ac.uk/~sansom/ Patrick Sansom] |
||
*[http://www.di.ufpe.br/~alms/ André Santos] |
*[http://www.di.ufpe.br/~alms/ André Santos] |
||
− | *[ |
+ | *[https://people.cs.kuleuven.be/~tom.schrijvers/ Tom Schrijvers] |
*[http://www.cse.unsw.edu.au/~sseefried/papers/papers.html Sean Seefried] |
*[http://www.cse.unsw.edu.au/~sseefried/papers/papers.html Sean Seefried] |
||
*[http://web.cecs.pdx.edu/~sheard/papers/ Tim Sheard] |
*[http://web.cecs.pdx.edu/~sheard/papers/ Tim Sheard] |
||
Line 155: | Line 151: | ||
*[http://research.microsoft.com/en-us/people/satnams/ Satnam Singh] |
*[http://research.microsoft.com/en-us/people/satnams/ Satnam Singh] |
||
*[http://www.cs.chalmers.se/~sparud/ Jan Sparud] |
*[http://www.cs.chalmers.se/~sparud/ Jan Sparud] |
||
− | *[ |
+ | *[https://dblp.org/pid/61/6892.html Eleni Spiliopoulou] |
− | *[ |
+ | *[https://donsbot.wordpress.com/about/ Don Stewart] |
*[http://ww2.cs.mu.oz.au/~sulzmann/ Martin Sulzmann] |
*[http://ww2.cs.mu.oz.au/~sulzmann/ Martin Sulzmann] |
||
*[http://www.cse.chalmers.se/~josefs/ Josef Svenningsson] |
*[http://www.cse.chalmers.se/~josefs/ Josef Svenningsson] |
||
− | *[ |
+ | *[https://scholar.google.com/citations?user=QWvh5GcAAAAJ Doaitse Swierstra] |
==T== |
==T== |
||
Line 165: | Line 161: | ||
*[http://www.henning-thielemann.de/ResearchE.html Henning Thielemann] |
*[http://www.henning-thielemann.de/ResearchE.html Henning Thielemann] |
||
*[http://www.cs.kent.ac.uk/people/staff/sjt/pubs.html Simon Thompson] |
*[http://www.cs.kent.ac.uk/people/staff/sjt/pubs.html Simon Thompson] |
||
− | *[http://www.cs.york.ac.uk/~mjt/ Michael Thyer] |
||
*[http://www.macs.hw.ac.uk/~trinder/publications.html Paul Trinder] |
*[http://www.macs.hw.ac.uk/~trinder/publications.html Paul Trinder] |
||
− | *[ |
+ | *[https://galois.com/team/mark-tullsen/ Mark Tullsen] |
==U== |
==U== |
||
Line 174: | Line 169: | ||
==V== |
==V== |
||
− | * [ |
+ | * [https://dl.acm.org/profile/81435597505/publications Arjen van Weelden] |
* [http://www.cs.ut.ee/~varmo/papers/index.html Varmo Vene] |
* [http://www.cs.ut.ee/~varmo/papers/index.html Varmo Vene] |
||
* [http://www.iai.uni-bonn.de/~jv/ Janis Voigtländer] |
* [http://www.iai.uni-bonn.de/~jv/ Janis Voigtländer] |
||
Line 185: | 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] |
==X== |
==X== |
||
− | *[http:// |
+ | *[http://pauillac.inria.fr/~naxu/ Dana Xu] |
==Y== |
==Y== |
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! :)