This list is not complete in any sense. For addition, deletion, or correction, please send me an e-mail.
| Author (& Category) |
Last-Modified |
| Sabry, Amr |
2008/10/01 10:20:52 |
| Xi, Hongwei |
2008/09/29 16:58:22 |
| Asai, Kenichi |
2008/09/25 06:11:43 |
| Girard, Jean-Yves |
2008/09/22 09:19:27 |
| Igarashi, Atsushi |
2008/09/22 06:19:08 |
| Gordon, Andrew D. |
2008/09/17 08:40:22 |
| Aiken, Alex |
2008/09/16 17:25:04 |
| Kennedy, Andrew (Publications on Units of Measure) |
2008/09/16 09:41:16 |
| Wadler, Philip |
2008/09/15 16:54:16 |
| Sheard, Tim |
2008/09/15 15:33:16 |
| Kennedy, Andrew (Publications on Standard ML) |
2008/09/09 16:27:12 |
| Chakravarty, Manuel M. T. |
2008/09/03 05:03:33 |
| Honda, Kohei |
2008/08/08 08:19:48 |
| Hutton, Graham |
2008/08/06 08:27:06 |
| Stark, Ian |
2008/08/05 14:01:53 |
| Sangiorgi, Davide |
2008/08/03 16:05:38 |
| Shao, Zhong |
2008/07/28 14:36:54 |
| Necula, George |
2008/07/24 15:24:08 |
| Palsberg, Jens |
2008/07/14 21:59:49 |
| Masuhara, Hidehiko |
2008/07/13 09:02:12 |
| Birkedal, Lars |
2008/07/06 21:05:13 |
| Danvy, Olivier |
2008/06/27 13:56:43 |
| Appel, Andrew W. |
2008/06/19 17:06:33 |
| Kobayashi, Naoki |
2008/04/17 02:52:27 |
| Yoshida, Nobuko |
2008/04/15 21:47:41 |
| Morrisett, Greg |
2008/04/07 23:10:16 |
| Rémy, Didier |
2008/04/03 08:54:27 |
| Pitts, Andrew |
2008/03/18 20:02:06 |
| Riely, James |
2008/01/12 00:44:58 |
| 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 |
| Peyton Jones, Simon (papers) |
2007/06/28 12:20:32 |
| Thiemann, Peter J. |
2007/05/15 19:52:39 |
| Kennedy, Andrew (Publications on Generics for .NET) |
2007/04/23 13:06:06 |
| Russo, Claudio V. |
2006/12/22 14:24:45 |
| Jagannathan, Suresh |
2006/08/17 20:43:47 |
| Odersky, Martin |
2006/07/10 15:49:39 |
| Kennedy, Andrew (Publications on Functional Programming) |
2006/06/08 15:40:39 |
| Hofmann, Martin |
2006/03/23 09:28:38 |
| Tofte, Mads (Papers - ML Kit) |
2006/01/30 22:29:04 |
| Filinski, Andrzej |
2005/09/19 12:36:59 |
| Ruf, Erik |
2005/07/01 17:17:27 |
| 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 |
? |
| Flanagan, Cormac |
? |
| Garrigue, Jacques |
? |
| Harper, Robert |
? |
| Hu, Zhenjiang |
? |
| Hughes, John |
? |
| Jay, Barry |
? |
| Leroy, Xavier |
? |
| Meijer, Erik |
? |
| Moggi, Eugenio |
? |
| Nestmann, Uwe |
? |
| Okasaki, Chris |
? |
| Peyton Jones, Simon (Current work) |
? |
| Pierce, Benjamin C. |
? |
| Sewell, Peter |
? |
| Shivers, Olin |
? |
| Taura, Kenjiro |
? |