A promise checked is a promise kept: inspection testing
- 17 September 2018
- journal article
- conference paper
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 53 (7), 14-25
- https://doi.org/10.1145/3299711.3242748
Abstract
No abstract availableKeywords
Funding Information
- National Science Foundation (1319880,1521539)
This publication has 12 references indexed in Scilit:
- Refinement types for HaskellPublished by Association for Computing Machinery (ACM) ,2014
- Lightweight modular stagingCommunications of the ACM, 2012
- A generic deriving mechanism for HaskellPublished by Association for Computing Machinery (ACM) ,2010
- ValgrindPublished by Association for Computing Machinery (ACM) ,2007
- Associated types with classPublished by Association for Computing Machinery (ACM) ,2005
- Chasing BottomsLecture Notes in Computer Science, 2004
- Template meta-programming for HaskellACM SIGPLAN Notices, 2002
- Secrets of the Glasgow Haskell Compiler inlinerJournal of Functional Programming, 2002
- QuickCheckPublished by Association for Computing Machinery (ACM) ,2000
- Contraction-free sequent calculi for intuitionistic logicThe Journal of Symbolic Logic, 1992