Programming with streams in Coq a case study: The Sieve of Eratosthenes
- 1 January 1994
- book chapter
- Published by Springer Nature
- p. 191-212
- https://doi.org/10.1007/3-540-58085-9_77
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Infinite objects in type theoryPublished by Springer Nature ,1994
- Extending pruning techniques to polymorphic second order λ-calculusPublished by Springer Nature ,1994
- Singleton, union and intersection types for program extractionPublished by Springer Nature ,1991
- A functional programming approach to the specification and verification of concurrent systemsFormal Aspects of Computing, 1989
- Concepts Mathématiques et Informatiques Formalisés dans le Calcul des ConstructionsPublished by Elsevier ,1987
- Automatic synthesis of typed Λ-programs on term algebrasTheoretical Computer Science, 1985