Peter G. Hancock

Publication Activity (10 Years)

Years Active: 2000-2016
Publications (10 Years): 1

Top Topics

Complex Objects

Discovery Process

Concept Learning

Top Venues

J. Funct. Program.

Math. Struct. Comput. Sci.

Publications

Neil Ghani, Peter G. Hancock
Containers, monads and induction recursion. Math. Struct. Comput. Sci. 26 (1) (2016)
Thorsten Altenkirch, Neil Ghani, Peter G. Hancock, Conor McBride, Peter Morris
Indexed containers. J. Funct. Program. 25 (2015)
Peter G. Hancock, Conor McBride, Neil Ghani, Lorenzo Malatesta, Thorsten Altenkirch
Small Induction Recursion. TLCA (2013)
Neil Ghani, Peter G. Hancock, Dirk Pattinson
Representations of Stream Processors Using Nested Fixed Points Log. Methods Comput. Sci. 5 (3) (2009)
Neil Ghani, Peter G. Hancock, Dirk Pattinson
Continuous Functions on Final Coalgebras. MFPS (2009)
Neil Ghani, Peter G. Hancock, Dirk Pattinson
Continuous Functions on Final Coalgebras. CMCS (2006)
Anton Setzer, Peter G. Hancock
Interactive Programs and Weakly Final Coalgebras in Dependent Type Theory (Extended Version). Dependently Typed Programming (2004)
Peter G. Hancock
The Fun of Programming edited by Jeremy Gibbons and Oege de Moor, Palgrave Macmillan, 2003. J. Funct. Program. 14 (5) (2004)
Peter G. Hancock, Anton Setzer
Interactive Programs in Dependent Type Theory. CSL (2000)