Jay A. McCarthy

发表

Robert Bruce Findler, Max S. New, Burke Fetscher, 2017, J. Funct. Program..

Sam Tobin-Hochstadt, Matthias Felleisen, Robert Bruce Findler, 2018, Commun. ACM.

Robert Bruce Findler, Shriram Krishnamurthi, Arjun Guha, 2013, SIGCSE '13.

Matthias Felleisen, Shriram Krishnamurthi, Jay A. McCarthy, 2007, High. Order Symb. Comput..

Sam Tobin-Hochstadt, Matthias Felleisen, Robert Bruce Findler, 2012, POPL '12.

Shriram Krishnamurthi, Jay A. McCarthy, 2009, Formal Aspects in Security and Trust.

Robert Bruce Findler, Max S. New, Burke Fetscher, 2016, FLOPS.

Shriram Krishnamurthi, Jay A. McCarthy, S. Krishnamurthi, 2008, ESORICS.

Shriram Krishnamurthi, Joshua D. Guttman, John D. Ramsdell, 2007, WWW '07.

Sam Tobin-Hochstadt, Matthias Felleisen, Robert Bruce Findler, 2015, SNAPL.

Robert Bruce Findler, Jay A. McCarthy, Steven Jaconette, 2011, APLAS.

Shriram Krishnamurthi, Jay A. McCarthy, 2008, FMSE '08.