Types for Flexible Objects

DOI10.1007/978-3-319-12736-1_6zbMath1453.68028OpenAlexW1032800MaRDI QIDQ2789042

Scott F. Smith, Zachary Palmer, Alexander Rozenshteyn, Pottayil Harisanker Menon

Publication date: 26 February 2016

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-12736-1_6

zbMATH Keywords

TinyBang

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Related Items (1)

Set Constraints, Pattern Match Analysis, and SMT

This page was built for publication: Types for Flexible Objects