Publication Links for Programming Language Researchers

This list is not complete in any sense. For addition, deletion, or correction, please send me an e-mail.

See also the DBLP Bibliography and Mark Leone's "Resources for Programming Language Research".

This document was automatically generated by an OCaml program.

Author (& Category) Last-Modified
Hutton, Graham 2009/09/18 14:36:07
Kobayashi, Naoki 2009/09/18 06:16:11
Wadler, Philip 2009/09/14 09:49:28
Shao, Zhong 2009/09/13 18:17:50
Chakravarty, Manuel M. T. 2009/09/11 07:52:28
Riely, James 2009/09/10 20:14:31
Birkedal, Lars 2009/09/03 06:56:05
Appel, Andrew W. 2009/08/17 13:01:27
Pitts, Andrew 2009/07/11 15:45:12
Sabry, Amr 2009/06/17 22:59:37
Masuhara, Hidehiko 2009/06/15 02:49:22
Igarashi, Atsushi 2009/06/09 03:03:49
Asai, Kenichi 2009/06/08 14:33:01
Aiken, Alex 2009/04/18 07:25:39
Honda, Kohei 2009/04/12 01:57:36
Sheard, Tim 2009/03/31 18:49:29
Thiemann, Peter J. 2009/03/30 06:50:17
Girard, Jean-Yves 2009/02/15 08:46:45
Palsberg, Jens 2009/02/11 09:13:40
Sangiorgi, Davide 2009/01/22 09:12:52
Danvy, Olivier 2008/12/12 22:27:21
Rémy, Didier 2008/12/03 13:17:06
Stark, Ian 2008/11/27 20:26:26
Xi, Hongwei 2008/09/29 16:58:22
Necula, George 2008/07/24 15:24:08
Yoshida, Nobuko 2008/04/15 21:47:41
Morrisett, Greg 2008/04/07 23:10:16
Jim, Trevor 2008/01/10 16:12:15
Puntigam, Franz 2007/12/21 09:05:18
Mitchell, John C. 2007/12/18 07:51:50
Ohori, Atsushi 2007/09/06 04:43:12
Jagannathan, Suresh 2006/08/17 20:43:47
Odersky, Martin 2006/07/10 15:49:39
Tofte, Mads (Papers - ML Kit) 2006/01/30 22:29:04
Bruce, Kim B. 2005/03/07 07:13:46
Jøgensen, Jesper (conference papers) 1999/03/05 12:22:19
Jøgensen, Jesper (submitted papers) 1999/03/05 11:38:54
Jøgensen, Jesper (journals) 1998/10/26 11:53:33
Jøgensen, Jesper (other papers) 1998/10/26 11:42:58
Jøgensen, Jesper (workshops) 1998/04/23 08:20:09
Jøgensen, Jesper (technical reports) 1998/04/23 08:16:52
Yonezawa, Akinori 1997/04/24 10:24:36
Abadi, Martín ?
Abramsky, Samson ?
Boehm, Hans-J. ?
Boudol, Gérard ?
Cardelli, Luca ?
Consel, Charles ?
Crary, Karl ?
Filinski, Andrzej ?
Flanagan, Cormac ?
Garrigue, Jacques ?
Gordon, Andrew D. ?
Harper, Robert ?
Hofmann, Martin ?
Hu, Zhenjiang ?
Hughes, John ?
Jay, Barry ?
Kennedy, Andrew (Publications on Functional Programming) ?
Kennedy, Andrew (Publications on Generics for .NET) ?
Kennedy, Andrew (Publications on Standard ML) ?
Kennedy, Andrew (Publications on Units of Measure) ?
Leroy, Xavier ?
Meijer, Erik ?
Moggi, Eugenio ?
Nestmann, Uwe ?
Okasaki, Chris ?
Peyton Jones, Simon (Current work) ?
Peyton Jones, Simon (papers) ?
Pierce, Benjamin C. ?
Ruf, Erik ?
Russo, Claudio V. ?
Sewell, Peter ?
Shivers, Olin ?
Taura, Kenjiro ?

sumii AT yl.is.s.u-tokyo.ac.jp