1. Indexed containers. (2015) Authors: ALTENKIRCH, THORSTEN; GHANI, NEIL; HANCOCK, PETER; MCBRIDE, CONOR; MORRIS, PETER Journal: Journal of functional programming Issue: Volume 25(2015) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Selected papers from Dependently Typed Programming 2010 – Overview. (27th November 2014) Authors: ALTENKIRCH, THORSTEN; MCBRIDE, CONOR Journal: Mathematical structures in computer science Issue: Volume 26:Number 1(2016) Page Start: 1 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗