Difference between revisions of "Research papers/Authors"

@@ Line 2: / Line 2: @@
 ==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://homepages.cwi.nl/~atanasso/pub Frank Atanassow]
@@ Line 14: / Line 14: @@
 *[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.st-andrews.ac.uk/~chrisb/ Christopher Brown]
 ==C==
@@ Line 42: / Line 43: @@
 ==G==
 *[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://research.microsoft.com/~adg/ Andrew D. Gordon]
@@ Line 103: / Line 104: @@
 ==M==
 *[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.kestrel.edu/home/people/meertens/ Lambert Meertens]
@@ Line 132: / Line 133: @@
 *[http://www.cs.mu.oz.au/~bjpop/papers.html Bernie Pope]
 *[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==
@@ Line 147: / Line 149: @@
 *[http://www.dcs.gla.ac.uk/~sansom/ Patrick Sansom]
 *[http://www.di.ufpe.br/~alms/ Andr&eacute; Santos]
-*[http://www.cs.kuleuven.be/~toms/ Tom Schrijvers]
+*[http://users.ugent.be/~tschrijv/ Tom Schrijvers]
 *[http://www.cse.unsw.edu.au/~sseefried/papers/papers.html Sean Seefried]
 *[http://web.cecs.pdx.edu/~sheard/papers/ Tim Sheard]
@@ Line 153: / Line 155: @@
 *[http://www.cse.ogi.edu/~mbs/ Mark Shields]
 *[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.bris.ac.uk/~spilio/ Eleni Spiliopoulou]
 *[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]
@@ Line 176: / Line 178: @@
 * [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://wwwtcs.inf.tu-dresden.de/~voigt/ Janis Voigtländer]
+* [http://www.iai.uni-bonn.de/~jv/ Janis Voigtländer]
 ==W==

Difference between revisions of "Research papers/Authors"

Revision as of 22:54, 4 May 2011

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