Flexible type analysis
From MaRDI portal
Publication:2817725
DOI10.1145/317636.317906zbMath1345.68085MaRDI QIDQ2817725
Publication date: 1 September 2016
Published in: Proceedings of the fourth ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/317636.317906
68N20: Theory of compilers and interpreters
68Q55: Semantics in the theory of computing
03B40: Combinatory logic and lambda calculus
Related Items
Type-based termination of generic programs, Generic programming in 3D, Open and closed scopes for constrained genericity