|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 16 occurrences of 16 keywords
|
|
|
|
|
Results
Found 17 publication records. Showing 17 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Claudio V. Russo, Neng-Fa Zhou (eds.) |
Practical Aspects of Declarative Languages - 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings  |
PADL  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Aaron Joseph Turon, Claudio V. Russo |
Scalable join patterns. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Rossberg, Claudio V. Russo, Derek Dreyer |
F-ing modules. |
TLDI |
2010 |
DBLP DOI BibTeX RDF |
first-class modules, ml modules, type systems, abstract data types, system f, existential types, elaboration |
| 1 | John H. Reppy, Claudio V. Russo, Yingqi Xiao |
Parallel concurrent ML. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
parallelism, concurrency, message passing |
| 1 | Claudio V. Russo |
Join patterns for visual basic. |
OOPSLA |
2008 |
DBLP DOI BibTeX RDF |
join patterns, visual basic, asynchronous message passing |
| 1 | Claudio V. Russo |
The Joins Concurrency Library. |
PADL |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio V. Russo, Derek Dreyer (eds.) |
Proceedings of the ACM Workshop on ML, 2007, Freiburg, Germany, October 5, 2007 |
ML |
2007 |
DBLP BibTeX RDF |
|
| 1 | Burak Emir, Andrew Kennedy, Claudio V. Russo, Dachuan Yu |
Variance and Generalized Constraints for C# Generics. |
ECOOP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Kennedy, Claudio V. Russo |
Generalized algebraic data types and object-oriented programming. |
OOPSLA |
2005 |
DBLP DOI BibTeX RDF |
constraints, generics, generalized algebraic data types |
| 1 | Claudio V. Russo |
Types for Modules. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Nick Benton, Andrew Kennedy, Claudio V. Russo |
Adventures in interoperability: the SML.NET experience. |
PPDP |
2004 |
DBLP DOI BibTeX RDF |
applications of declarative programming, integration of paradigms, programming environments, functional programming |
| 1 | Nick Benton, Andrew Kennedy, Sam Lindley, Claudio V. Russo |
Shrinking Reductions in SML.NET. |
IFL |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio V. Russo |
Recursive Structures for Standard ML. |
ICFP |
2001 |
DBLP DOI BibTeX RDF |
Standard ML |
| 1 | Gavin M. Bierman, Andrew M. Pitts, Claudio V. Russo |
Operational Properties of Lily, a Polymorphic Linear Lambda Calculus with Recursion. |
Electr. Notes Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio V. Russo |
First-Class Structures for Standard ML. |
Nord. J. Comput. |
2000 |
DBLP BibTeX RDF |
|
| 1 | Claudio V. Russo |
First-Class Structures for Standard ML. |
ESOP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio V. Russo |
Non-dependent Types for Standard ML Modules. |
PPDP |
1999 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #17 of 17 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")