The first-order theory of subtyping constraints
From MaRDI portal
Publication:5178907
DOI10.1145/503272.503292zbMath1323.68164MaRDI QIDQ5178907
Joachim Niehren, Ralf Treinen, Alexander Aiken, Zhendong Su, Tim Priesnitz
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
68N18: Functional programming and lambda calculus
03B25: Decidability of theories and sets of sentences
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Non-structural subtype entailment in automata theory, Placement Inference for a Client-Server Calculus