Crccaz chercher Pour vous de trouver

Raymond Lévy

filtration org related results about 2.
Advertisement

Synchronous Kahn networks - doi.acm.org

We're upgrading the ACM DL, and would like your input. Please sign up to review new features, functionality and page designs.
https://doi.acm.org/10.1145/232627.232651

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
https://doi.acm.org/10.1145/289423.289451