A theory of type polymorphism in programming

1978/12/01 by Robin Milner · 20 citations
Computer Science · #Logic, programming, and type systems #Logic, Reasoning, and Knowledge #semigroups and automata theory

paper · doi:10.1016/0022-0000(78)90014-4

Cited by

• In Search of Types
• TypeDis: A Type System for Disentanglement
• Reflection and Hyper-Programming in Persistent Programming Systems
• GNU epsilon -- an extensible programming language
• Revisiting Elementary Denotational Semantics
• Oxide: The Essence of Rust
• A bottom-up polymorphic type inference in logic programming
• Modeling of languages for tensor manipulation
• Improving Testability and Reuse by Transitioning to Functional\n Programming
• Deciding not to Decide: Sound and Complete Effect Inference in the Presence of Higher-Rank Polymorphism
• Demystifying React Native Android Apps for Static Analysis
• PolySkill: Learning Generalizable Skills Through Polymorphic Abstraction
• A Complementary Approach to Incorrectness Typing
• Operational methods in semantics
• Category-Theoretic Quantitative Compositional Distributional Models of Natural Language Semantics
• The Design Principles of the Elixir Type System
• Kima - an Automated Error Correction System for Concurrent Logic Programs
• Evaluating Program Semantics Reasoning with Type Inference in System F
• Code Less to Code More: Streamlining Language Server Protocol and Type System Development for Language Families
• Type Safe Extensible Programming