Seguir
Claudio Russo
Claudio Russo
Dirección de correo verificada de microsoft.com - Página principal
Título
Citado por
Citado por
Año
Types for modules
CV Russo
University of Edinburgh. College of Science and Engineering. School of …, 1998
951998
Recursive structures for Standard ML
CV Russo
Proceedings of the sixth ACM SIGPLAN international conference on Functional …, 2001
792001
Variance and Generalized Constraints for C Generics
B Emir, A Kennedy, C Russo, D Yu
European Conference on Object-Oriented Programming, 279-303, 2006
782006
Generalized algebraic data types and object-oriented programming
A Kennedy, CV Russo
ACM SIGPLAN Notices 40 (10), 21-40, 2005
772005
Operational properties of Lily, a polymorphic linear lambda calculus with recursion
GM Bierman
Electronic Notes Theoretical Computer Sci. 41, 9, 2000
772000
F-ing modules
A Rossberg, C Russo, D Dreyer
Journal of functional programming 24 (5), 529-607, 2014
742014
Tabular: a schema-driven probabilistic programming language
AD Gordon, T Graepel, N Rolland, C Russo, J Borgstrom, J Guiver
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014
682014
Parallel concurrent ML
J Reppy, CV Russo, Y Xiao
ACM Sigplan Notices 44 (9), 257-268, 2009
672009
First-Class Structures for Standard ML
CV Russo
Nordic Journal of Computing 7 (4), 348-374, 2000
672000
Pause’n’play: Formalizing asynchronous c
G Bierman, C Russo, G Mainland, E Meijer, M Torgersen
European Conference on Object-Oriented Programming, 233-257, 2012
602012
F-ing modules
A Rossberg, CV Russo, D Dreyer
Proceedings of the 5th ACM SIGPLAN Workshop on Types in Language Design and …, 2010
532010
Deriving probability density functions from probabilistic functional programs
S Bhat, J Borgström, AD Gordon, C Russo
Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013
482013
Adventures in interoperability: the sml. net experience
N Benton, A Kennedy, CV Russo
Proceedings of the 6th ACM SIGPLAN International conference on Principles …, 2004
442004
The joins concurrency library
C Russo
International Symposium on Practical Aspects of Declarative Languages, 260-274, 2007
412007
A model-learner pattern for Bayesian reasoning
AD Gordon, M Aizatulin, J Borgstrom, G Claret, T Graepel, AV Nori, ...
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2013
402013
Monitoring internet trade to inform species conservation actions
V Vaglica, M Sajeva, HN McGough, D Hutchison, C Russo, AD Gordon, ...
Endangered Species Research 32, 223-235, 2017
372017
Non-dependent types for Standard ML modules
CV Russo
International Conference on Principles and Practice of Declarative …, 1999
351999
Database access
AD Gordon, TKH Graepel, NPM Rolland, EJ Borgstrom, CV Russo
US Patent 9,418,086, 2016
262016
Scalable join patterns
AJ Turon, CV Russo
ACM SIGPLAN Notices 46 (10), 575-594, 2011
232011
Types For Modules
CV Russo
Electronic Notes in Theoretical Computer Science 60, 2004
232004
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20