Claudio Russo
TitleCited byYear
Types for modules
CV Russo
University of Edinburgh. College of Science and Engineering. School of …, 1998
921998
Recursive structures for Standard ML
CV Russo
ACM SIGPLAN Notices 36 (10), 50-61, 2001
732001
Variance and Generalized Constraints for C Generics
B Emir, A Kennedy, C Russo, D Yu
European Conference on Object-Oriented Programming, 279-303, 2006
702006
Operational properties of Lily, a polymorphic linear lambda calculus with recursion
GM Bierman, AM Pitts, CV Russo
In Fourth International Workshop on Higher Order Operational Techniques in …, 2000
692000
Generalized algebraic data types and object-oriented programming
A Kennedy, CV Russo
ACM SIGPLAN Notices 40 (10), 21-40, 2005
602005
First-Class Structures for Standard ML
CV Russo
Nordic Journal of Computing 7 (4), 348-374, 2000
592000
Parallel concurrent ML
J Reppy, CV Russo, Y Xiao
ACM Sigplan Notices 44 (9), 257-268, 2009
532009
Tabular: a schema-driven probabilistic programming language
AD Gordon, T Graepel, N Rolland, C Russo, J Borgstrom, J Guiver
ACM SIGPLAN Notices 49 (1), 321-334, 2014
462014
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
452012
The joins concurrency library
C Russo
International Symposium on Practical Aspects of Declarative Languages, 260-274, 2007
412007
Adventures in interoperability: the sml. net experience
N Benton, A Kennedy, CV Russo
Proceedings of the 6th ACM SIGPLAN international conference on Principles …, 2004
412004
F-ing modules
A Rossberg, CV Russo, D Dreyer
Proceedings of the 5th ACM SIGPLAN workshop on Types in language design and …, 2010
402010
A model-learner pattern for Bayesian reasoning
AD Gordon, M Aizatulin, J Borgstrom, G Claret, T Graepel, AV Nori, ...
ACM SIGPLAN Notices 48 (1), 403-416, 2013
352013
Deriving probability density functions from probabilistic functional programs
S Bhat, J Borgström, AD Gordon, C Russo
International Conference on Tools and Algorithms for the Construction and …, 2013
332013
Non-dependent types for Standard ML modules
CV Russo
International Conference on Principles and Practice of Declarative …, 1999
331999
F-ing modules
A Rossberg, C Russo, D Dreyer
Journal of Functional Programming 24 (5), 529-607, 2014
232014
Scalable join patterns
AJ Turon, CV Russo
ACM SIGPLAN Notices 46 (10), 575-594, 2011
212011
Join patterns for visual basic
CV Russo
ACM Sigplan Notices 43 (10), 53-72, 2008
172008
Types For Modules
CV Russo
Electronic Notes in Theoretical Computer Science 60, 2004
152004
QML: Explicit first-class polymorphism for ML
CV Russo, D Vytiniotis
Proceedings of the 2009 ACM SIGPLAN workshop on ML, 3-14, 2009
142009
The system can't perform the operation now. Try again later.
Articles 1–20