Book
Syntactically Restricting Bounded Polymorphism for Decidable Subtyping
| العنوان: | Syntactically Restricting Bounded Polymorphism for Decidable Subtyping |
|---|---|
| المؤلفون: | Mackay, Julian, Potanin, Alex, Aldrich, Jonathan, Groves, Lindsay |
| المصدر: | Programming Languages and Systems ; Lecture Notes in Computer Science ; page 125-144 ; ISSN 0302-9743 1611-3349 ; ISBN 9783030644369 9783030644376 |
| بيانات النشر: | Springer International Publishing |
| سنة النشر: | 2020 |
| نوع الوثيقة: | book part |
| اللغة: | unknown |
| ردمك: | 978-3-030-64436-9 978-3-030-64437-6 3-030-64436-7 3-030-64437-5 |
| DOI: | 10.1007/978-3-030-64437-6_7 |
| الاتاحة: | http://dx.doi.org/10.1007/978-3-030-64437-6_7 https://link.springer.com/content/pdf/10.1007/978-3-030-64437-6_7 |
| Rights: | http://www.springer.com/tdm ; http://www.springer.com/tdm ; https://www.springer.com/tdm ; https://www.springer.com/tdm |
| رقم الانضمام: | edsbas.3604309D |
| قاعدة البيانات: | BASE |
| ردمك: | 9783030644369 9783030644376 3030644367 3030644375 |
|---|---|
| DOI: | 10.1007/978-3-030-64437-6_7 |