Principal Type Schemes for Gradual Programs

DOI10.1145/2676726.2676992zbMath1345.68105OpenAlexW1970075481MaRDI QIDQ2819815

Matteo Cimini, Ronald Garcia

Publication date: 29 September 2016

Published in: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2676726.2676992

zbMATH Keywords

type inferencegradual typing

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Migrating gradual types, Type Inference for Rank 2 Gradual Intersection Types, How to evaluate the performance of gradual type systems, Parameterized cast calculi and reusable meta-theory for gradually typed lambda calculi