Personal tools

Research papers/Authors

From HaskellWiki

< Research papers(Difference between revisions)
Jump to: navigation, search
(fmt)
m (Updated a few links)
 
(10 intermediate revisions by 8 users not shown)
Line 2: Line 2:
   
 
==A==
 
==A==
*[http://www.tcs.informatik.uni-muenchen.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]
 
*[http://homepages.cwi.nl/~atanasso/pub Frank Atanassow]
 
*[http://homepages.cwi.nl/~atanasso/pub Frank Atanassow]
Line 14: Line 14:
 
*[http://www.dcs.gla.ac.uk/~bunkenba/ Alex Bunkenburg]
 
*[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]
   
 
==C==
 
==C==
Line 42: Line 43:
 
==G==
 
==G==
 
*[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.gill-warbington.com/home/andy/ Andy Gill]
+
*[http://www.monadgarden.com/andy/ Andy Gill]
 
*[http://www.dcs.gla.ac.uk/~joy/ Joy Goodman]
 
*[http://www.dcs.gla.ac.uk/~joy/ Joy Goodman]
 
*[http://research.microsoft.com/~adg/ Andrew D. Gordon]
 
*[http://research.microsoft.com/~adg/ Andrew D. Gordon]
  +
*Louis-Julien Guillemette
 
*[http://www.cs.chalmers.se/~gustavss/ J&ouml;rgen Gustavsson]
 
*[http://www.cs.chalmers.se/~gustavss/ J&ouml;rgen Gustavsson]
   
Line 102: Line 104:
 
==M==
 
==M==
 
*[http://www.haskell.org/~simonmar/bib/bib.html Simon Marlow]
 
*[http://www.haskell.org/~simonmar/bib/bib.html Simon Marlow]
*[http://www.cs.nott.ac.uk/~ctm/publications.html 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]
 
*[http://www.kestrel.edu/home/people/meertens/ Lambert Meertens]
 
*[http://www.kestrel.edu/home/people/meertens/ Lambert Meertens]
Line 110: Line 112:
 
*[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
  +
*Stefan Monnier
   
 
==N==
 
==N==
Line 130: Line 133:
 
*[http://www.cs.mu.oz.au/~bjpop/papers.html Bernie Pope]
 
*[http://www.cs.mu.oz.au/~bjpop/papers.html Bernie Pope]
 
*[http://www.mathematik.uni-marburg.de/~priebe Steffen Priebe]
 
*[http://www.mathematik.uni-marburg.de/~priebe Steffen Priebe]
  +
*[http://ad-astra.ro/Ha$kell Popa Dan <br> Public e-mail: popavdan@yahoo.com]
   
 
==Q==
 
==Q==
Line 145: Line 149:
 
*[http://www.dcs.gla.ac.uk/~sansom/ Patrick Sansom]
 
*[http://www.dcs.gla.ac.uk/~sansom/ Patrick Sansom]
 
*[http://www.di.ufpe.br/~alms/ Andr&eacute; Santos]
 
*[http://www.di.ufpe.br/~alms/ Andr&eacute; Santos]
  +
*[http://users.ugent.be/~tschrijv/ 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 150: Line 155:
 
*[http://www.cse.ogi.edu/~mbs/ Mark Shields]
 
*[http://www.cse.ogi.edu/~mbs/ Mark Shields]
 
*[http://www.dis.strath.ac.uk/people/sinclair/ Duncan Sinclair]
 
*[http://www.dis.strath.ac.uk/people/sinclair/ Duncan Sinclair]
*[http://www.xilinx.com/labs/satnam 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]
 
*[http://www.cs.bris.ac.uk/~spilio/ Eleni Spiliopoulou]
 
*[http://www.cs.bris.ac.uk/~spilio/ Eleni Spiliopoulou]
 
*[http://www.cse.unsw.edu.au/~dons/papers.html Don Stewart]
 
*[http://www.cse.unsw.edu.au/~dons/papers.html Don Stewart]
*[http://www.comp.nus.edu.sg/~sulzmann/ Martin Sulzmann]
+
*[http://ww2.cs.mu.oz.au/~sulzmann/ Martin Sulzmann]
*[http://www.cs.chalmers.se/~josefs/ Josef Svenningsson]
+
*[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]
 
*[http://www.cs.uu.nl/groups/ST/stbib/swierstra-by-year/swierstra-by-year-by-year.html Doaitse Swierstra]
   
 
==T==
 
==T==
 
*[http://www.cs.chalmers.se/~makoto Makoto Takeyama]
 
*[http://www.cs.chalmers.se/~makoto Makoto Takeyama]
*[http://www.math.uni-bremen.de/~thielema/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.cs.york.ac.uk/~mjt/ Michael Thyer]
Line 173: Line 178:
 
* [http://www.cs.ru.nl/A.vanWeelden/index.php?p=publications Arjen van Weelden]
 
* [http://www.cs.ru.nl/A.vanWeelden/index.php?p=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://wwwtcs.inf.tu-dresden.de/~voigt/ Janis Voigtländer]
+
* [http://www.iai.uni-bonn.de/~jv/ Janis Voigtländer]
   
 
==W==
 
==W==
 
*[http://homepages.inf.ed.ac.uk/wadler/ Philip Wadler]
 
*[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]
 
*[ftp://ftp.cs.york.ac.uk/pub/malcolm/ Malcolm Wallace]
 
*[http://www.lochan.org/keith/publications/index.html Keith Wansbrough]
 
*[http://www.lochan.org/keith/publications/index.html Keith Wansbrough]

Latest revision as of 22:54, 4 May 2011


[edit] 1 A

[edit] 2 B

[edit] 3 C

[edit] 4 D

[edit] 5 E

[edit] 6 F

[edit] 7 G

[edit] 8 H

[edit] 9 I

[edit] 10 J

[edit] 11 K

[edit] 12 L

[edit] 13 M

[edit] 14 N

[edit] 15 O

[edit] 16 P

[edit] 17 Q

[edit] 18 R

[edit] 19 S

[edit] 20 T

[edit] 21 U

[edit] 22 V

[edit] 23 W

[edit] 24 X

[edit] 25 Y

[edit] 26 Z

Authors, please add yourself! :)