journal : ACM Transactions on Programming Languages and Systems
3 articles
Variant Parametric Types: A Flexible Subtyping Scheme for Generics (ACM Transactions on Programming Languages and Systems, 2006) — Atsushi Igarashi, Mirko Viroli The Concurrent Language, Shared Prolog (ACM Transactions on Programming Languages and Systems, 1991) — Antonio Brogi, Paolo Ciancarini Generative Communication in Linda (ACM Transactions on Programming Languages and Systems, 1985) — David Gelernter