Modules, abstraction, and parametric polymorphism

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages - POPL 2017 ◽

10.1145/3009837.3009892 ◽

2017 ◽

Author(s):

Karl Crary

Keyword(s):

Parametric Polymorphism

Download Full-text

Compiling with Non-Parametric Polymorphism.

10.21236/ada290316 ◽

1994 ◽

Author(s):

Robert Harper ◽

Greg Morrisett

Keyword(s):

Parametric Polymorphism ◽

Download Full-text

Parametric polymorphism and operational improvement

Proceedings of the ACM on Programming Languages ◽

10.1145/3236763 ◽

2018 ◽

Vol 2 (ICFP) ◽

pp. 1-24 ◽

Author(s):

Jennifer Hackett ◽

Graham Hutton

Keyword(s):

Parametric Polymorphism ◽

Operational Improvement

Download Full-text

Parametric Polymorphism

Pattern Calculus ◽

10.1007/978-3-540-89185-7_7 ◽

2009 ◽

pp. 67-79

Author(s):

Barry Jay

Keyword(s):

Parametric Polymorphism

Download Full-text

Research Article: An object model with parametric polymorphism for dynamic segmentation

International Journal of Geographical Information Science ◽

10.1080/1365881031000072654 ◽

2003 ◽

Vol 17 (4) ◽

pp. 343-360 ◽

Author(s):

BO HUANG

Keyword(s):

Object Model ◽

Dynamic Segmentation ◽

Research Article ◽

Parametric Polymorphism

Download Full-text

Parametric Polymorphism — Universally

Logic, Language, Information, and Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-662-47709-0_7 ◽

2015 ◽

pp. 81-92 ◽

Author(s):

Neil Ghani ◽

Fredrik Nordvall Forsberg ◽

Federico Orsanigo

Keyword(s):

Parametric Polymorphism

Download Full-text

A logic for parametric polymorphism

Lecture Notes in Computer Science - Typed Lambda Calculi and Applications ◽

10.1007/bfb0037118 ◽

2006 ◽

pp. 361-375 ◽

Author(s):

Gordon Plotkin ◽

Martín Abadi

Keyword(s):

Parametric Polymorphism

Download Full-text

Comprehensive Parametric Polymorphism: Categorical Models and Type Theory

Lecture Notes in Computer Science - Foundations of Software Science and Computation Structures ◽

10.1007/978-3-662-49630-5_1 ◽

2016 ◽

pp. 3-19 ◽

Author(s):

Neil Ghani ◽

Fredrik Nordvall Forsberg ◽

Alex Simpson

Keyword(s):

Type Theory ◽

Parametric Polymorphism ◽

Categorical Models

Download Full-text

Fully abstract translations and parametric polymorphism

Programming Languages and Systems — ESOP '94 - Lecture Notes in Computer Science ◽

10.1007/3-540-57880-3_30 ◽

1994 ◽

pp. 454-468 ◽

Author(s):

Peter W. O'Hearn ◽

Jon G. Riecke

Keyword(s):

Parametric Polymorphism

Download Full-text

Parametric polymorphism in Java

ACM SIGPLAN Notices ◽

10.1145/354222.353182 ◽

2000 ◽

Vol 35 (10) ◽

pp. 146-165 ◽

Author(s):

Mirko Viroli ◽

Antonio Natali

Keyword(s):

Parametric Polymorphism

Download Full-text

Using Structural and Parametric Polymorphism in the Creation of Digital Twins

Automatic Documentation and Mathematical Linguistics ◽

10.3103/s0005105519020055 ◽

2019 ◽

Vol 53 (2) ◽

pp. 81-84

Author(s):

V. N. Shvedenko ◽

V. V. Shvedenko ◽

O. V. Shchekochikhin

Keyword(s):

Digital Twins ◽

Parametric Polymorphism ◽

Download Full-text