View source for Research papers/Authors

__NOTOC__

==A==
*[http://www2.tcs.ifi.lmu.de/~abel/ Andres Abel]
*[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]

==B==
*[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]
*[http://www.cs.chalmers.se/~boquist/ Urban Boquist]
*[http://www.cs.sfu.ca/people/Faculty/Burton/publications.html F. Warren Burton]
*[http://www.cs.st-andrews.ac.uk/~chrisb/ Christopher Brown]

==C==
*[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]
*[https://homepage.iis.sinica.edu.tw/~trc/public/ Tyng-Ruey Chuang]
*[http://www.cs.chalmers.se/~koen/pubs/ Koen Claessen]
*[https://www.mgmt.ucl.ac.uk/people/grahamcollins Graham Collins]
*[http://phoenix.inria.fr/charles-consel Charles Consel]
*[http://www.apocalypse.org/pub/u/antony/work/index.html Antony Courtney]

==D==
*[http://www.c3.lanl.gov/~kei/publications.html Kei Davis]
*[http://www.cse.ogi.edu/~diatchki/papers/ Iavor Diatchki]

==E==
*[http://conal.net/papers/ Conal Elliott]
*[http://www.cambridge.intel-research.net/~rennals/ Robert Ennals]
*[http://web.engr.oregonstate.edu/~erwig/papers/ Martin Erwig]

==F==
*[https://dblp.org/pid/31/6231.html Karl-Filip Fax&eacute;n]
*[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]

==G==
*[http://web.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/ Jeremy Gibbons]
*[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]
*Louis-Julien Guillemette
*[http://www.cs.chalmers.se/~gustavss/ J&ouml;rgen Gustavsson]

==H==
*[http://www.dcs.gla.ac.uk/~cvh/ Cordelia Hall]
*[http://www.cse.ogi.edu/~hallgren/ Thomas Hallgren]
*[http://www-fp.dcs.st-and.ac.uk/~kh/papers/ABSTRACTS.html Kevin Hammond]
*[http://research.microsoft.com/~tharris/ Tim Harris]
*[http://www.cs.uu.nl/~bastiaan/ Bastiaan Heeren]
*[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]
*[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]
*[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]

==I==
*[http://www.cs.uu.nl/groups/ST/stbib/ijzendoorn-by-year/ijzendoorn-by-year-by-year.html Arjan van IJzendoorn]
*[http://www.cs.chalmers.se/~indrika/ Mia Indrika]

==J==
*[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/~johnsson Thomas Johnsson]
*[http://web.cecs.pdx.edu/~mpj/pubs.html Mark P. Jones]
*[http://www.cs.stir.ac.uk/~sbj/ Simon B. Jones]
*[https://simon.peytonjones.org Simon Peyton Jones]
*[http://www.syntaxpolice.org/ Isaac Jones]

==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://www.cse.ogi.edu/~krstic/ Sava Krstic]

==L==
*[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.cs.uu.nl/~daan/pubs.html Daan Leijen]
*[http://www.cse.ogi.edu/~jlewis Jeff Lewis]
*[http://java.sun.com/people/sl/ Sheng Liang]
*[https://www.andres-loeh.de/ Andres L&ouml;h]
*[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]
*[http://web.comlab.ox.ac.uk/oucl/work/ian.lynagh/papers/ Ian Lynagh]

==M==
*[https://simonmar.github.io/ Simon Marlow] 
*[http://personal.cis.strath.ac.uk/~conor/pub/ Conor McBride]
*[http://www.dcs.st-andrews.ac.uk/~james/ James McKinna]
*[http://www.kestrel.edu/home/people/meertens/ Lambert Meertens]
*[http://research.microsoft.com/~emeijer/ Eric Meijer]
*[https://twitter.com/jeffreymeunier Jeff Meunier]
*[https://ndmitchell.com/ Neil Mitchell]
*[http://www.disi.unige.it/person/MoggiE/publications.html Eugenio Moggi]
*Andrew Moran
*Stefan Monnier

==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/~nordland/ Johan Nordlander]

==O==
*[http://lampwww.epfl.ch/~odersky/papers/ Martin Odersky]
*[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]

==P==
*[http://www.cs.chalmers.se/~pareto/ Lars Pareto]
*[http://www.dcs.gla.ac.uk/~partain/ Will Partain]
*[http://www.soi.city.ac.uk/~ross/papers/ Ross Paterson]
*[[User:John Peterson|John Peterson]]
*[https://simon.peytonjones.org Simon Peyton Jones]
*[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]

==Q==

==R==
*[http://www.reid-consulting-uk.ltd.uk/alastair/ Alastair Reid]
*[http://www-users.cs.york.ac.uk/~colin/ Colin Runciman]

==S==
*[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.di.ufpe.br/~alms/ Andr&eacute; Santos]
*[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]
*[http://www.cs.chalmers.se/~ms/ Mary Sheeran]
*[http://www.cse.ogi.edu/~mbs/ Mark Shields]
*[http://www.dis.strath.ac.uk/people/sinclair/ Duncan Sinclair]
*[http://research.microsoft.com/en-us/people/satnams/ Satnam Singh]
*[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://www.cse.chalmers.se/~josefs/ Josef Svenningsson]
*[https://scholar.google.com/citations?user=QWvh5GcAAAAJ Doaitse Swierstra]

==T==
*[http://www.cs.chalmers.se/~makoto Makoto Takeyama]
*[http://www.henning-thielemann.de/ResearchE.html Henning Thielemann]
*[http://www.cs.kent.ac.uk/people/staff/sjt/pubs.html Simon Thompson]
*[http://www.macs.hw.ac.uk/~trinder/publications.html Paul Trinder]
*[https://galois.com/team/mark-tullsen/ Mark Tullsen]

==U==

* [http://www.cs.ioc.ee/~tarmo/papers/ Tarmo Uustalu]

==V==
* [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]

==W==
*[http://homepages.inf.ed.ac.uk/wadler/ Philip Wadler]
*[http://www.imn.htwk-leipzig.de/~waldmann/ Johannes Waldmann]
*[ftp://ftp.cs.york.ac.uk/pub/malcolm/ Malcolm Wallace]
*[http://www.lochan.org/keith/publications/index.html Keith Wansbrough]
*[http://www.cis.upenn.edu/~geoffw/research/index.html Geoff Washburn]
*[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]
*[https://sites.google.com/site/noelwinstanley/curriculum-vitae Noel Winstanley]

==X==
*[http://pauillac.inria.fr/~naxu/ Dana Xu]

==Y==

==Z==

<i>Authors, please add yourself! :)</i>