Terauchi, Tachio Dependent types from counterexamples. (English) Zbl 1312.68041 Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’10, Madrid, Spain, January 17–23, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-479-9). 119-130 (2010). Cited in 7 Documents MSC: 68N18 Functional programming and lambda calculus 68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) 68Q55 Semantics in the theory of computing 68Q60 Specification and verification (program logics, model checking, etc.) Keywords:counterexamples; dependent types; interpolation; intersection types; type inference Software:OCaml; SLAM PDFBibTeX XMLCite \textit{T. Terauchi}, in: Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '10, Madrid, Spain, January 17--23, 2010. New York, NY: Association for Computing Machinery (ACM). 119--130 (2010; Zbl 1312.68041) Full Text: DOI Link