The first-order theory of subtyping constraints
| Title: | The first-order theory of subtyping constraints |
|---|---|
| Authors: | Su, Zhendong; Aiken, Alexander; Niehren, Joachim; Priesnitz, Tim; Treinen, Ralf |
| Source: | Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages ; page 203-216 |
| Publisher Information: | ACM |
| Publication Year: | 2002 |
| Document Type: | conference object |
| Language: | unknown |
| DOI: | 10.1145/503272.503292 |
| Availability: | https://doi.org/10.1145/503272.503292; https://dl.acm.org/doi/10.1145/503272.503292; https://dl.acm.org/doi/pdf/10.1145/503272.503292 |
| Rights: | https://www.acm.org/publications/policies/copyright_policy#Background |
| Accession Number: | edsbas.18BD78BF |
| Database: | BASE |