Jonathan Fowler

I'm a PhD student in the functional programming lab at the University of Nottingham, supervised by Graham Hutton. I am interested in utilising the functional-logic programming technique of narrowing to to aid in property-based testing.



Failing Faster: Overlapping Patterns for Property-Based Testing - pdf
Jonathan Fowler and Graham Hutton (PADL2017).

Towards a Theory of Reach - pdf
Jonathan Fowler and Graham Hutton (TFP2015).

The Continuity of Monadic Stream Functions - pdf
Venanzio Capretta and Jonathan Fowler (To appear in LICS2017)