Crccaz chercher Pour vous de trouver

Raymond Lévy

filtration org related results about 2.

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.

First-class synchronization barriers

1996 Article Bibliometrics · Citation Count: 3 · Downloads (cumulative): 267 · Downloads (12 Months): 14 · Downloads (6 Weeks): 1