Personal tools

Research papers/Authors

From HaskellWiki

< Research papers(Difference between revisions)
Jump to: navigation, search
(S)
m (Updated a few links)
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 104: 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 155: 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]
  

Revision as of 22:54, 4 May 2011


1 A

2 B

3 C

4 D

5 E

6 F

7 G

8 H

9 I

10 J

11 K

12 L

13 M

14 N

15 O

16 P

17 Q

18 R

19 S

20 T

21 U

22 V

23 W

24 X

25 Y

26 Z

Authors, please add yourself! :)