Ryan Wisnesky
发表
Jing Shan,
Sriram Padmanabhan,
Huong Morris,
2006,
BIRTE.
David I. Spivak,
Ryan Wisnesky,
Patrick Schultz,
2015,
ArXiv.
Lucian Popa,
Ryan Wisnesky,
Mauricio A. Hernández,
2010,
ICDT '10.
David I. Spivak,
Ryan Wisnesky,
Patrick Schultz,
2016,
ArXiv.
Adam Chlipala,
J. Gregory Morrisett,
Gregory Malecha,
2009,
ICFP.
David I. Spivak,
Ryan Wisnesky,
Patrick Schultz,
2015,
ArXiv.
Ryan Wisnesky,
Patrick Schultz,
2015
.
David I. Spivak,
Ryan Wisnesky,
Patrick Schultz,
2016,
WADT.
Eswaran Subrahmanian,
David I. Spivak,
Ryan Wisnesky,
2015,
ArXiv.
Gregory Malecha,
Ryan Wisnesky,
G. Malecha,
2015,
DBPL.
David I. Spivak,
Ryan Wisnesky,
Ryan Wisnesky,
2012,
DBPL.
J. Gregory Morrisett,
Gregory Malecha,
Ryan Wisnesky,
2010,
POPL '10.
Gregory Malecha,
Ryan Wisnesky,
John Gregory Morrisett,
2010
.
Jing Shan,
Sriram Padmanabhan,
Huong Morris,
2008,
2008 IEEE International Conference on e-Business Engineering.
Rajasekar Krishnamurthy,
Ioana Stanoi,
Georgia Koutrika,
2013,
In Search of Elegance in the Theory and Practice of Computation.
David I. Spivak,
Ryan Wisnesky,
Srivatsan Varadarajan,
2015
.
David I. Spivak,
Ryan Wisnesky,
Kristopher Brown,
2019,
Computational Materials Science.
David I. Spivak,
Ryan Wisnesky,
Patrick Schultz,
2015
.
Ryan Wisnesky,
Patrick Schultz,
Ryan Wisnesky,
2015,
Journal of Functional Programming.
Albert Jones,
Eswaran Subrahmanian,
David I. Spivak,
2017,
J. Comput. Inf. Sci. Eng..
Ryan Wisnesky,
Greg Morrisett,
Ryan Wisnesky,
2014
.
Ryan Wisnesky,
Taral Joglekar,
2006
.
J. Gregory Morrisett,
Gregory Malecha,
Ryan Wisnesky,
2011,
J. Symb. Comput..
Joshua Shinavier,
Ryan Wisnesky,
2019,
ArXiv.
Ryan Wisnesky,
Eric Daimler,
Ryan Wisnesky,
2020,
ArXiv.
Rajasekar Krishnamurthy,
Georgia Koutrika,
Lucian Popa,
2013,
EDBT '13.
Ryan Wisnesky,
Mauricio A. Hernández,
Jindan Zhou,
2008,
2008 IEEE 24th International Conference on Data Engineering.
Ryan Wisnesky,
Ryan Wisnesky,
2011
.
Adam Chlipala,
J. Gregory Morrisett,
Gregory Malecha,
2009,
ICFP.