Crccaz chercher Pour vous de trouver

Raymond Lévy

filtration org related results about 2.

Synchronous Kahn networks -

We're upgrading the ACM DL, and would like your input. Please sign up to review new features, functionality and page designs.

Cayenne—a language with dependent types

David Raymond Christiansen, Type-Directed Elaboration of Quasiquotations: A High-Level Syntax for Low-Level Reflection, Proceedings of the 26nd 2014 International Symposium on Implementation and Application of Functional Languages, p.1-9, October 01-03, 2014, Boston, MA, USA