A Theory of Type Polymorphism in Programming

No abstract is available for this paper.

• Publication year

  1978

• Venue

  Journal of computer and system sciences (Print)

• Publication date

  1978-12-01

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1016/0022-0000(78)90014-4
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Edinburgh LCF

  1979cited by this paper
• A Metalanguage for interactive proof in LCF

  1978cited by this paper
• Syntactic control of interference

  1978cited by this paper
• Some ideas on data types in high level languages

  1977cited by this paper
• Report on the programming language Euclid

  1977cited by this paper
• Data Types as Objects

  1977cited by this paper
• Data Types as Lattices

  1976influential reference
• Revised Report on the Algorithmic Language ALGOL 68

  1976cited by this paper
• A Powerdomain Construction

  1976cited by this paper
• Abstraction and Verification in Alphard: Introduction to Language and Methodology

  1976cited by this paper
• Recursive Programming Techniques

  1975cited by this paper
• Towards a theory of type structure

  1974influential reference
• Programming with abstract data types

  1974cited by this paper
• The treatment of data types in EL1

  1974cited by this paper
• Models for Various Type-Free Calculi

  1973cited by this paper
• Models of LCF.

  1973cited by this paper
• Toward a mathematical semantics for computer languages

  1971cited by this paper
• Lambda-calculus models of programming languages.

  1969cited by this paper
• The Principal Type-Scheme of an Object in Combinatory Logic

  1969cited by this paper
• The next 700 programming languages

  1966cited by this paper
• A Machine-Oriented Logic Based on the Resolution Principle

  1965influential reference

• Meta-Monomorphizing Specializations

  2026cites this paper
• Let Generalization, Polymorphic Recursion, and Variable Minimization in Boolean-Kinded Type Systems

  2026cites this paper
• Local Contextual Type Inference

  2026cites this paper
• Implicit Unit Conversion in Modelica

  2025cites this paper
• The Rational Programmer: Investigating Programming Language Pragmatics

  2025cites this paper
• Fulls Seldom Differ

  2025cites this paper
• Destabilizing Iris

  2025cites this paper
• Mechanized Type Soundness for Substructural Types using Iris

  2025cites this paper
• Can Proof Assistants Verify Multi-Agent Systems?

  2025cites this paper
• Mutation-Based Fuzzing of the Swift Compiler with Incomplete Type Information

  2025cites this paper
• TypeDis: A Type System for Disentanglement

  2025cites this paper
• From Ahead-of- to Just-in-Time and Back Again: Static Analysis for Unix Shell Programs

  2025cites this paper
• Code Less to Code More

  2025cites this paper
• The Ethical Compiler: Addressing the Is-Ought Gap in Compilation (Invited Talk)

  2025cites this paper
• Mimosa: A Language for Asynchronous Implementation of Embedded Systems Software

  2025cites this paper
• Control-flow Aware MLIR Tracing

  2025cites this paper
• The MNL: A Block-Based Functional Programming Language with Reactive Blocks

  2025cites this paper
• GeckoGraph: A visual language for polymorphic types

  2025cites this paper
• Research on group type theory and its functorial semantic models in category logic

  2025cites this paper
• The Simple Essence of Monomorphization

  2025cites this paper
• Linguine: A Natural-Language Programming Language with Formal Semantics and a Clean Compiler Pipeline

  2025cites this paper
• The unification type of Lukasiewicz logic with a bounded number of variables

  2025cites this paper
• Intensional Differences Between Programming Languages: A Conceptual and Practical Analysis

  2025cites this paper
• Formal Semantics and Program Logics for a Fragment of OCaml

  2025cites this paper
• Understanding Haskell-style Overloading via Open Data and Open Functions

  2025cites this paper
• Creating an Instrument to Measure Undergraduate Computer Science Students’ Self-Efficacy in Object-Oriented Programming (OOP): Preliminary Validity and Reliability Evidence

  2025cites this paper
• The Simple Essence of Overloading: Making Ad-Hoc Polymorphism More Algebraic with Flow-Based Variational Type-Checking

  2025cites this paper
• TF-Bench: Evaluating Program Semantics Reasoning with Type Inference in System F

  2025cites this paper
• Toward a Corpus Study of the Dynamic Gradual Type

  2025cites this paper
• Bidirectional Higher-Rank Polymorphism with Intersection and Union Types

  2025cites this paper
• Principal Type Inference under a Prefix: A Fresh Look at Static Overloading

  2025cites this paper
• A Complementary Approach to Incorrectness Typing

  2025cites this paper
• PolySkill: Learning Generalizable Skills Through Polymorphic Abstraction

  2025cites this paper
• AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming

  2024cites this paper
• Daedalus: Safer Document Parsing

  2024cites this paper
• A Logical Approach to Type Soundness

  2024cites this paper
• Exo 2: Growing a Scheduling Language

  2024cites this paper
• Extending the Quantitative Pattern-Matching Paradigm

  2024cites this paper
• Type Inference for Isabelle2Cpp

  2024cites this paper
• Semantic-Type-Guided Bug Finding

  2024cites this paper
• Inferring Non-Failure Conditions for Declarative Programs

  2024cites this paper
• The Ultimate Conditional Syntax

  2024cites this paper
• Completing the Functional Approach in Object-Oriented Languages

  2024cites this paper
• Bialgebraic Reasoning on Higher-order Program Equivalence

  2024cites this paper
• Spineless Traversal for Layout Invalidation

  2024cites this paper
• Context-Free Binding Grammars

  2024cites this paper
• Detection of Uncaught Exceptions in Functional Programs by Abstract Interpretation

  2024cites this paper
• Massimult: A Novel Parallel CPU Architecture Based on Combinator Reduction

  2024cites this paper
• Demystifying React Native Android Apps for Static Analysis

  2024cites this paper
• On Program Synthesis and Large Language Models

  2024cites this paper
• Modern Effect Systems Overview

  2024cites this paper
• SoD2: Statically Optimizing Dynamic Deep Neural Network Execution

  2024cites this paper
• Gradual Intersection Types

  2024cites this paper
• Exploring Polymorphism: Flexibility and Code Reusability in Object-Oriented Programming

  2024cites this paper
• A Dependent Nominal Physical Type System for Static Analysis of Memory in Low Level Code

  2024cites this paper
• Type Inference Logics

  2024cites this paper
• When Is Parallelism Fearless and Zero-Cost with Rust?

  2024cites this paper
• Going beyond templates: composition and evolution in nested OSTRICH

  2024cites this paper
• Extensible Recursive Functions, Algebraically

  2024cites this paper
• A Semantics of Structures, Unions, and Underspecified Terms for Formal Specification

  2024cites this paper
• Teaching Type Systems Implementation with Stella, an Extensible Statically Typed Programming Language

  2024cites this paper
• Associated Effects: Flexible Abstractions for Effectful Programming

  2024cites this paper
• A Relational Solver for Constraint-based Type Inference

  2024cites this paper
• Use Site Checking Considered Harmful

  2024cites this paper
• InferType: A Compiler Toolkit for Implementing Efficient Constraint-Based Type Inference (Artifact)

  2024cites this paper
• Nominal Types for Erlang

  2024cites this paper
• The Design Principles of the Elixir Type System

  2023cites this paper
• Application of SMT in a Meta-Compiler: A Logic DSL for Specifying Type Systems

  2023cites this paper
• Solving Novel Program Synthesis Problems with Genetic Programming using Parametric Polymorphism

  2023cites this paper
• Formalizing Box Inference for Capture Calculus

  2023cites this paper
• Polymorphic Types with Polynomial Sizes

  2023influential citation
• PureCake: A Verified Compiler for a Lazy Functional Language

  2023cites this paper
• Garbage-Collection Safety for Region-Based Type-Polymorphic Programs

  2023cites this paper
• Embedding the Connection Calculus in Satisfiability Modulo Theories

  2023cites this paper
• Better Together: Unifying Datalog and Equality Saturation

  2023cites this paper
• Programming with Purity Reflection: Peaceful Coexistence of Effects, Laziness, and Parallelism

  2023cites this paper
• Geometry of Language

  2023cites this paper
• Let's do it right the first time: Survey on security concerns in the way to quantum software engineering

  2023cites this paper
• A Calculus for Scoped Effects & Handlers

  2023cites this paper
• Better Defunctionalization through Lambda Set Specialization

  2023cites this paper
• Live Pattern Matching with Typed Holes

  2023cites this paper
• Concrete Type Inference for Code Optimization using Machine Learning with SMT Solving

  2023cites this paper
• Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems

  2023cites this paper
• A Monadic Framework for Name Resolution in Multi-phased Type Checkers

  2023cites this paper
• Quantitative Inhabitation for Different Lambda Calculi in a Unifying Framework

  2023cites this paper
• Managing Quantities and Units of Measurement in Code Bases

  2023cites this paper
• Strongly-Typed Multi-View Stack-Based Computations

  2023cites this paper
• Greedy Implicit Bounded Quantification

  2023cites this paper
• Shape-Constrained Array Programming with Size-Dependent Types

  2023cites this paper
• From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers

  2023cites this paper
• On Identifying Points of Semantic Shift Across Domains

  2023cites this paper
• A Direct-Style Effect Notation for Sequential and Parallel Programs

  2023cites this paper
• A Bowtie for a Beast: Overloading, Eta Expansion, and Extensible Data Types in F⋈

  2023cites this paper
• Process Composition with Typed Unix Pipes

  2023cites this paper
• Typed–Untyped Interactions: A Comparative Analysis

  2023cites this paper
• Explicit Refinement Types

  2023cites this paper
• The Design and Implementation of an Extensible System Meta-Programming Language

  2023cites this paper
• Automated Analyses of IOT Event Monitoring Systems

  2023cites this paper
• FP²: Fully in-Place Functional Programming

  2023cites this paper
• Stream Types

  2023cites this paper