Browse by Authors and Editors
Number of items: 4. ArticleCapretta, Venanzio and Fowler, Jonathan (2017) The continuity of monadic stream functions. Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '17 . pp. 1-12. ISSN 1043-6871 Fowler, Jonathan and Hutton, Graham (2016) Towards a theory of reach. Lecture Notes in Computer Science, 9547 . pp. 22-39. ISSN 0302-9743 Conference or Workshop ItemFowler, Jonathan and Hutton, Graham (2016) Failing faster: overlapping patterns for property-based testing. In: Proceedings of the 19th International Symposium on Practical Aspects of Declarative Languages, 18-20 Jan 2017, Paris, France. (In Press) Thesis (University of Nottingham only)Fowler, Jonathan (2019) Narrowing in on property-based testing. PhD thesis, University of Nottingham. |