Difference between revisions of "Research papers/Authors"

@@ Line 4: / Line 4: @@
 *[http://www2.tcs.ifi.lmu.de/~abel/ Andres Abel]
 *[http://www.cs.nott.ac.uk/~txa/publ/ Thorsten Altenkirch]
-*[http://homepages.cwi.nl/~atanasso/pub Frank Atanassow]
+*[https://dblp.org/pid/30/2606.html Frank Atanassow]
 *[http://www.cs.chalmers.se/~augustss/ Lennart Augustsson]
 ==B==
-*[http://www.cs.uu.nl/groups/ST/stbib/baars-by-year/baars-by-year-by-year.html Arthur Baars]
+*[https://www.haskellers.com/user/arthurbaars Arthur Baars]
 *[http://web.comlab.ox.ac.uk/oucl/work/richard.bird/publications.html Richard Bird]
 *[http://www.cs.chalmers.se/~bjesse/ Per Bjesse]
@@ Line 17: / Line 17: @@
 ==C==
 *[http://www.cse.ogi.edu/~magnus/ Magnus Carlsson]
-*[http://www.cse.unsw.edu.au/~chak/papers/papers.html Manuel M. T. Chakravarty]
+*[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.iis.sinica.edu.tw/~trc/node2.html Tyng-Ruey Chuang]
+*[https://homepage.iis.sinica.edu.tw/~trc/public/ Tyng-Ruey Chuang]
 *[http://www.cs.chalmers.se/~koen/pubs/ Koen Claessen]
-*[http://www.dcs.gla.ac.uk/~grmc/ Graham Collins]
+*[https://www.mgmt.ucl.ac.uk/people/grahamcollins Graham Collins]
-*[http://www.irisa.fr/EXTERNE/projet/lande/consel/consel.html Charles Consel]
+*[http://phoenix.inria.fr/charles-consel Charles Consel]
 *[http://www.apocalypse.org/pub/u/antony/work/index.html Antony Courtney]
@@ Line 35: / Line 35: @@
 ==F==
-*[http://web.it.kth.se/~kff/publications.html Karl-Filip Fax&eacute;n]
+*[https://dblp.org/pid/31/6231.html Karl-Filip Fax&eacute;n]
 *[http://yeats.ucc.ie/~abf/ Alex Ferguson]
-*[http://www.galois.com/~sof/pubs.html Sigbjorn Finne]
+*[https://dblp.org/pid/08/649.html Sigbjorn Finne]
 *[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://www.monadgarden.com/andy/ Andy Gill]
-*[http://www.dcs.gla.ac.uk/~joy/ Joy Goodman]
+*[https://www-edc.eng.cam.ac.uk/people/jag76.html Joy Goodman]
 *[http://research.microsoft.com/~adg/ Andrew D. Gordon]
 *Louis-Julien Guillemette
@@ Line 55: / Line 55: @@
 *[http://www.cs.uu.nl/~bastiaan/ Bastiaan Heeren]
 *[http://www.cs.chalmers.se/~heldal/ Rogardt Heldal]
-*[http://www.cs.unc.edu/~heringto/ Dean Herington]
+*[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.informatik.uni-bonn.de/~ralf/publications/ Ralf Hinze]
+*[https://www.cs.ox.ac.uk/people/ralf.hinze/ Ralf Hinze]
 *[http://www.cs.uu.nl/people/stefan Stefan Holdermans]
 *[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://cs-www.cs.yale.edu/homes/hudak.html Paul Hudak]
+*[https://en.wikipedia.org/wiki/Paul_Hudak Paul Hudak]
 *[http://www.cs.chalmers.se/~rjmh/pubs.htm John Hughes]
 *[http://www.cs.nott.ac.uk/~gmh/ Graham Hutton]
@@ Line 71: / Line 71: @@
 ==J==
 *[http://www.cs.chalmers.se/~patrikj/ Patrik Jansson]
-*[http://www.cs.uu.nl/groups/ST/stbib/jeuring-by-year/jeuring-by-year-by-year.html Johan Jeuring]
+*[https://webspace.science.uu.nl/~jeuri101/homepage/ Johan Jeuring]
-*[http://crab.rutgers.edu/~pjohann/vita.html Patricia Johann]
+*[https://cs.appstate.edu/~johannp/ Patricia Johann]
 *[http://www.cs.chalmers.se/~bengtj/ Bengt Johansson]
 *[http://www.cs.chalmers.se/~johnsson Thomas Johnsson]
 *[http://web.cecs.pdx.edu/~mpj/pubs.html Mark P. Jones]
 *[http://www.cs.stir.ac.uk/~sbj/ Simon B. Jones]
-*[http://research.microsoft.com/Users/simonpj Simon Peyton Jones]
+*[https://simon.peytonjones.org Simon Peyton Jones]
 *[http://www.syntaxpolice.org/ Isaac Jones]
 ==K==
-*[http://users.info.unicaen.fr/~karczma Jerzy Karczmarczuk]
+*[https://dblp.org/pid/36/3915.html Jerzy Karczmarczuk]
-*[http://www.cse.unsw.edu.au/~keller/#publications Gabriele Keller]
+*[https://www.cse.unsw.edu.au/~keller/ Gabriele Keller]
 *[http://okmij.org/ftp/ Oleg Kiselyov]
 *[http://www.cse.ogi.edu/~krstic/ Sava Krstic]
@@ Line 88: / Line 88: @@
 ==L==
 *[http://lsi.uniovi.es/~labra Jose E. Labra]
-*[http://homepages.cwi.nl/~ralf/publications.html Ralf Lämmel]
+*[https://dblp.org/pid/l/RalfLammel.html Ralf Lämmel]
 *[http://www.cse.ogi.edu/~jl John Launchbury]
 *[http://www.cs.uu.nl/~daan/pubs.html Daan Leijen]
 *[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://www.iai.uni-bonn.de/~loeh Andres L&ouml;h]
+*[https://www.andres-loeh.de/ Andres L&ouml;h]
-*[http://www.dcs.gla.ac.uk/~hwloidl/ Hans-Wolfgang Loidl]
+*[http://www.macs.hw.ac.uk/~hwloidl/ Hans-Wolfgang Loidl]
 *[http://www.mathematik.uni-marburg.de/~loogen Rita Loogen]
 *[http://www.frogsonice.com/work.html Sandra J. Loosemore]
@@ Line 106: / Line 105: @@
 *[http://www.kestrel.edu/home/people/meertens/ Lambert Meertens]
 *[http://research.microsoft.com/~emeijer/ Eric Meijer]
-*[http://www.engr.uconn.edu/~jeffm/ Jeff Meunier]
+*[https://twitter.com/jeffreymeunier Jeff Meunier]
 *[https://ndmitchell.com/ Neil Mitchell]
 *[http://www.disi.unige.it/person/MoggiE/publications.html Eugenio Moggi]
@@ Line 113: / Line 112: @@
 ==N==
-*[http://cs-www.cs.yale.edu/homes/nilsson/papers.html Henrik Nilsson]
+*[https://www.nottingham.ac.uk/computerscience/people/henrik.nilsson Henrik Nilsson]
 *[http://www.cse.ogi.edu/~nordin Thomas Nordin]
 *[http://www.cse.ogi.edu/~nordland/ Johan Nordlander]
@@ Line 119: / Line 118: @@
 ==O==
 *[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.ipl.t.u-tokyo.ac.jp/~onoue/ Yoshiyuki Onoue]
@@ Line 128: / Line 127: @@
 *[http://www.soi.city.ac.uk/~ross/papers/ Ross Paterson]
 *[[User:John Peterson|John Peterson]]
-*[http://research.microsoft.com/Users/simonpj Simon Peyton Jones]
+*[https://simon.peytonjones.org Simon Peyton Jones]
 *[http://www.cs.mu.oz.au/~bjpop/papers.html Bernie Pope]
-*[http://www.mathematik.uni-marburg.de/~priebe Steffen Priebe]
+*[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]
@@ Line 137: / Line 136: @@
 ==R==
 *[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]
 ==S==
 *[http://www.cs.chalmers.se/~andrei/ Andrei Sabelfeld]
-*[http://www.dcs.gla.ac.uk/~meurig/ Meurig Sage]
+*[https://dblp.org/pid/88/4117.html Meurig Sage]
 *[http://www.cs.chalmers.se/~dave/ David Sands]
-*[http://www.dcs.gla.ac.uk/~sansom/ Patrick Sansom]
 *[http://www.di.ufpe.br/~alms/ Andr&eacute; Santos]
-*[http://users.ugent.be/~tschrijv/ Tom Schrijvers]
+*[https://people.cs.kuleuven.be/~tom.schrijvers/ Tom Schrijvers]
 *[http://www.cse.unsw.edu.au/~sseefried/papers/papers.html Sean Seefried]
 *[http://web.cecs.pdx.edu/~sheard/papers/ Tim Sheard]
@@ Line 155: / Line 151: @@
 *[http://research.microsoft.com/en-us/people/satnams/ Satnam Singh]
 *[http://www.cs.chalmers.se/~sparud/ Jan Sparud]
-*[http://www.cs.bris.ac.uk/~spilio/ Eleni Spiliopoulou]
+*[https://dblp.org/pid/61/6892.html Eleni Spiliopoulou]
-*[http://www.cse.unsw.edu.au/~dons/papers.html Don Stewart]
+*[https://donsbot.wordpress.com/about/ Don Stewart]
 *[http://ww2.cs.mu.oz.au/~sulzmann/ Martin Sulzmann]
 *[http://www.cse.chalmers.se/~josefs/ Josef Svenningsson]
-*[http://www.cs.uu.nl/groups/ST/stbib/swierstra-by-year/swierstra-by-year-by-year.html Doaitse Swierstra]
+*[https://scholar.google.com/citations?user=QWvh5GcAAAAJ Doaitse Swierstra]
 ==T==
@@ Line 165: / Line 161: @@
 *[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.york.ac.uk/~mjt/ Michael Thyer]
 *[http://www.macs.hw.ac.uk/~trinder/publications.html Paul Trinder]
-*[http://www.cs.yale.edu/homes/tullsen/publications.html Mark Tullsen]
+*[https://galois.com/team/mark-tullsen/ Mark Tullsen]
 ==U==
@@ Line 174: / Line 169: @@
 ==V==
-* [http://www.cs.ru.nl/A.vanWeelden/index.php?p=publications Arjen van Weelden]
+* [https://dl.acm.org/profile/81435597505/publications Arjen van Weelden]
 * [http://www.cs.ut.ee/~varmo/papers/index.html Varmo Vene]
 * [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.seas.upenn.edu/%7Esweirich/publications.html Stephanie Weirich]
-*[http://www.informatik.uni-freiburg.de/~wehr/#Publications Stefan Wehr]
+*[https://scholar.google.com/citations?user=CDnHeN8AAAAJ Stefan Wehr]
 *[http://www.lotus.com/lotus/research.nsf/grouppage?Openpage Eric Wilcox]
-*[http://www.dcs.gla.ac.uk/~nww/ Noel Winstanley]
+*[https://sites.google.com/site/noelwinstanley/curriculum-vitae Noel Winstanley]
 ==X==
-*[http://www.cl.cam.ac.uk/~nx200/ Dana Xu]
+*[http://pauillac.inria.fr/~naxu/ Dana Xu]
 ==Y==

Difference between revisions of "Research papers/Authors"

Latest revision as of 05:43, 1 September 2022

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

Z

Navigation menu

Search