Jon G. Riecke

发表

Carl A. Gunter, Jawahar Chirimar, Jon G. Riecke, 1996, Journal of Functional Programming.
Jon G. Riecke, Ramesh Subrahmanyam, 1993, POPL '93.
Anders Sandholm, Jon G. Riecke, 2002, Inf. Comput..
Jon G. Riecke, Ramesh Subrahmanyam, J. Riecke, 1994, TACS.
Kim B. Bruce, Jon G. Riecke, J. Riecke, 1987, MFPS.
Jon G. Riecke, Anindya Basu, 2001, SIGCOMM.
Jon G. Riecke, Nevin Heintze, N. Heintze, 1998, POPL '98.
Peter W. O'Hearn, Jon G. Riecke, 1994, ESOP.
John H. Reppy, Jon G. Riecke, J. Reppy, 1996, PLDI '96.
Jon G. Riecke, J. Riecke, 1991, POPL '91.
Didier Rémy, Carl A. Gunter, Jon G. Riecke, 1995, FPCA '95.
Jon G. Riecke, Ramesh Subrahmanyam, J. Riecke, 1999, Mathematical Structures in Computer Science.
Anders Sandholm, Jon G. Riecke, J. Riecke, 1997, Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.
Hayo Thielecke, Jon G. Riecke, Hayo Thielecke, 1999, ICALP.
Jon G. Riecke, J. Riecke, 1996, CSUR.
Albert R. Meyer, Jon G. Riecke, A. Meyer, 1988, LISP and Functional Programming.
Jon G. Riecke, Anindya Basu, 2001, SIGCOMM 2001.
Anindya Banerjee, Jon G. Riecke, Nevin Heintze, 1999, Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).
Jon G. Riecke, 1993, FPCA '93.
Carl A. Gunter, Jawahar Chirimar, Jon G. Riecke, 1992, LFP '92.
Ramesh Viswanathan, Jon G. Riecke, 1995, POPL '95.
John H. Reppy, Jon G. Riecke, Kathleen Fisher, 2000, ESOP.
Martín Abadi, Anindya Banerjee, Jon G. Riecke, 1999, POPL '99.
John H. Reppy, Jon G. Riecke, 1996 .
Jon G. Riecke, 1995, Inf. Comput..
Peter W. O'Hearn, Jon G. Riecke, 1995, Inf. Comput..
John C. Mitchell, Jon G. Riecke, 1997, SIGA.
Jon G. Riecke, 1999, SIGA.
Anindya Banerjee, Jon G. Riecke, Nevin Heintze, 2001, TACS.
Jon G. Riecke, Christopher A. Stone, J. Riecke, 2002, Inf. Comput..
Jon G. Riecke, Anders B. Sandholm, 1997 .
Jon G. Riecke, Ramesh Subrahmanyam, J. Riecke, 1997 .