The first-order theory of subtyping constraints
From MaRDI portal
Publication:5178907
DOI10.1145/503272.503292zbMath1323.68164OpenAlexW2141843850MaRDI QIDQ5178907
Tim Priesnitz, Alexander Aiken, Zhendong Su, Joachim Niehren, Ralf Treinen
Publication date: 17 March 2015
Published in: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)
Full work available at URL: https://hal.inria.fr/inria-00536828/file/fot02.pdf
Functional programming and lambda calculus (68N18) Decidability of theories and sets of sentences (03B25) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Non-structural subtype entailment in automata theory ⋮ Placement Inference for a Client-Server Calculus