Difference between revisions of "Research papers/Authors"

From HaskellWiki
Jump to: navigation, search
(remove people with no homepages , update others)
(fix more links)
 
Line 17: Line 17:
 
==C==
 
==C==
 
*[http://www.cse.ogi.edu/~magnus/ Magnus Carlsson]
 
*[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.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.cs.chalmers.se/~koen/pubs/ Koen Claessen]
 
*[https://www.mgmt.ucl.ac.uk/people/grahamcollins Graham Collins]
 
*[https://www.mgmt.ucl.ac.uk/people/grahamcollins Graham Collins]
Line 82: Line 82:
 
==K==
 
==K==
 
*[https://dblp.org/pid/36/3915.html 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://okmij.org/ftp/ Oleg Kiselyov]
 
*[http://www.cse.ogi.edu/~krstic/ Sava Krstic]
 
*[http://www.cse.ogi.edu/~krstic/ Sava Krstic]
Line 118: Line 118:
 
==O==
 
==O==
 
*[http://lampwww.epfl.ch/~odersky/papers/ Martin Odersky]
 
*[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.eecs.usma.edu/Personnel/okasaki Chris Okasaki]
 
*[http://www.ipl.t.u-tokyo.ac.jp/~onoue/ Yoshiyuki Onoue]
 
*[http://www.ipl.t.u-tokyo.ac.jp/~onoue/ Yoshiyuki Onoue]
Line 140: Line 140:
 
==S==
 
==S==
 
*[http://www.cs.chalmers.se/~andrei/ Andrei Sabelfeld]
 
*[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.cs.chalmers.se/~dave/ David Sands]
 
*[http://www.di.ufpe.br/~alms/ André Santos]
 
*[http://www.di.ufpe.br/~alms/ André Santos]
Line 180: Line 180:
 
*[http://www.cis.upenn.edu/~geoffw/research/index.html Geoff Washburn]
 
*[http://www.cis.upenn.edu/~geoffw/research/index.html Geoff Washburn]
 
*[http://www.seas.upenn.edu/%7Esweirich/publications.html Stephanie Weirich]
 
*[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.lotus.com/lotus/research.nsf/grouppage?Openpage Eric Wilcox]
 
*[https://sites.google.com/site/noelwinstanley/curriculum-vitae Noel Winstanley]
 
*[https://sites.google.com/site/noelwinstanley/curriculum-vitae Noel Winstanley]
   
 
==X==
 
==X==
*[http://www.cl.cam.ac.uk/~nx200/ Dana Xu]
+
*[http://pauillac.inria.fr/~naxu/ Dana Xu]
   
 
==Y==
 
==Y==

Latest revision as of 04:18, 25 July 2021


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

Authors, please add yourself! :)