Tim Sheard

发表

William L. Harrison, Tim Sheard, James Hook, 2002, MPC.

Tim Sheard, Ki Yung Ahn, T. Sheard, 2008, Haskell '08.

David W. Stemple, Tim Sheard, D. Stemple, 1989, ACM Trans. Database Syst..

Tim Sheard, Zine-el-abidine Benaissa, T. Sheard, 1998 .

David W. Stemple, Krithi Ramamritham, Tim Sheard, 1983, ICOD.

Tim Sheard, Leonidas Fegaras, 1994 .

Stephanie Weirich, Tim Sheard, Aaron Stump, 2010, FoSER '10.

Roland Carl Backhouse, Tim Sheard, 1998 .

Walid Taha, Tim Sheard, Eugenio Moggi, 1999 .

Tim Sheard, 2004, ACM SIGPLAN Notices.

David W. Stemple, Tim Sheard, D. Stemple, 1984, PODS '84.

Walid Taha, Emir Pasalic, Tim Sheard, 2002, ICFP '02.

Walid Taha, Tim Sheard, Zine-El-Abidine Benaissa, 1998, ICALP.

Emir Pasalic, Tim Sheard, Zine-el-abidine Benaissa, 2000 .

John Launchbury, Tim Sheard, Erik Meijer, 1995, Lecture Notes in Computer Science.

David W. Stemple, Tim Sheard, 1987, DBPL.

David Maier, Tim Sheard, Peter A. Tucker, 2003, IEEE Trans. Knowl. Data Eng..

Tim Sheard, 1996, Lecture Notes in Computer Science.

Tim Sheard, T. Sheard, 2007, PLPV@IJCAR.

Simon L. Peyton Jones, Tim Sheard, S. Jones, 2002, Haskell '02.

Richard C. H. Connor, Ronald Morrison, David W. Stemple, 2000 .

David W. Stemple, Tim Sheard, Ralph E. Bunker, 1986, 1986 IEEE Second International Conference on Data Engineering.

David W. Stemple, Tim Sheard, Ralph E. Bunker, 1986, Inf. Process. Manag..

Emir Pasalic, Tim Sheard, Zine-El-Abidine Benaissa, 1999, DSL '99.

David W. Stemple, Tim Sheard, Leonidas Fegaras, 1992, CADE.

Tim Sheard, Chuan-Kai Lin, 2010, TLDI '10.

David Maier, Tim Sheard, Peter A. Tucker, 2003, IEEE Data Engineering Bulletin.

Walid Taha, Tim Sheard, 1997, ICFP '97.

Sudhakar Yalamanchili, Michael Garland, Tim Sheard, 2014, CGO '14.

Tim Sheard, James Hook, T. Sheard, 1994 .

David Maier, Tim Sheard, Peter A. Tucker, 2007, IEEE Transactions on Knowledge and Data Engineering.

Tong Zhou, Tim Sheard, James Hook, 1995, TAPSOFT.

Tim Sheard, T. Sheard, 1993 .

David W. Stemple, Tim Sheard, Subhasish Mazumdar, 1987, SIGMOD '87.

John Launchbury, Tim Sheard, 1995, FPCA '95.

Tim Sheard, Chuan-kai Lin, 2010 .

Walid Taha, Tim Sheard, T. Sheard, 1999 .

David Maier, Tim Sheard, Leonidas Fegaras, 1993, DOOD.

Emir Pasalic, Tim Sheard, 2008, Electron. Notes Theor. Comput. Sci..

David W. Stemple, Tim Sheard, D. Stemple, 1985, ICSE '85.

David W. Stemple, Tim Sheard, D. Stemple, 1992, Comput. Lang..

David W. Stemple, Tim Sheard, Subhasish Mazumdar, 1988, SIGMOD '88.

Emir Pasalic, Tim Sheard, T. Sheard, 2004, Journal of Functional Programming.

Scott Britell, Lois M. L. Delcambre, Tim Sheard, 2017, ASE @ USENIX Security Symposium.

Tong Zhou, Tim Sheard, Leonidas Fegaras, 1994, PEPM.

Walid Taha, Emir Pasalic, Tim Sheard, 2000 .

Walid Taha, Tim Sheard, T. Sheard, 1997 .

Tim Sheard, Neal Nelson, T. Sheard, 1995 .

Tim Sheard, T. Sheard, 2005, Haskell '05.

Tim Sheard, Leonidas Fegaras, T. Sheard, 1993, FPCA '93.

David W. Stemple, Tim Sheard, 1990, East/West Database Workshop.

Walid Taha, Tim Sheard, Eugenio Moggi, 1998 .

Tim Sheard, Andrew M. Pitts, T. Sheard, 2004 .

Tim Sheard, Cristiano Calcagno, Eugenio Moggi, 2003, J. Funct. Program..

Stephanie Weirich, Tim Sheard, Brent A. Yorgey, 2011, ICFP.

Tim Sheard, T. Sheard, Richard Tieszen, 2005 .

Andrew M. Pitts, Tim Sheard, Ki Yung Ahn, 2013 .

Walid Taha, Tim Sheard, Eugenio Moggi, 1999, ESOP.

David W. Stemple, Tim Sheard, Leonidas Fegaras, 1989, DBPL.

Simon L. Peyton Jones, Tim Sheard, Mark Shields, 1998, POPL '98.

Tim Sheard, James Hook, Richard B. Kieburtz, 1996, Proceedings of IEEE 18th International Conference on Software Engineering.

David W. Stemple, Tim Sheard, D. Stemple, 1988, Proceedings. 1988 International Conference on Computer Languages.

David W. Stemple, Tim Sheard, Adolfo Socorro, 1988, OODBS.

Tim Sheard, T. Sheard, 2006, SSDGP.

Andrew M. Pitts, Tim Sheard, Marcelo P. Fiore, 2013, TLCA.

Walid Taha, Tim Sheard, T. Sheard, 1997, PEPM.

Tim Sheard, 1998, Advanced Functional Programming.

David W. Stemple, Tim Sheard, Leonidas Fegaras, 1990, EDBT.