Crccaz chercher Pour vous de trouver

Raymond Lévy

filtration org related results about 2.
Advertisement

Cayenne—a language with dependent types

We're upgrading the ACM DL, and would like your input. Please sign up to review new features, functionality and page designs.
https://dl.acm.org/citation.cfm?doid=289423.289451

First-class synchronization barriers

1996 Article Bibliometrics · Citation Count: 3 · Downloads (cumulative): 267 · Downloads (12 Months): 14 · Downloads (6 Weeks): 1
https://dl.acm.org/citation.cfm?doid=232627.232645