This list is not complete in any sense. For addition, deletion, or correction, please send me an e-mail.
| 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 |
? |