Browse by Authors and Editors

Up a level
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 3.


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 Item

Capretta, Venanzio and Fowler, Jonathan (2017) The continuity of monadic stream functions. In: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS'17), 20-23 June 2017, Reykjavik, Iceland. (In Press)

Fowler, 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)

This list was generated on Sun Jul 23 00:52:52 2017 UTC.