Home Advanced Search

Advanced Search - Page 1

A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday
  • PDF
  • English
  • Year: 2016
  • Author: Sam Lindley, Conor McBride, Phil Trinder, Don Sannella (eds.)
Tolkien's Cosmology: Divine Beings and Middle-earth
  • PDF
  • English
  • Year: 2020
  • Author: Sam McBride
Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers
  • PDF
  • English
  • Year: 2007
  • Author: Robin Adams, Zhaohui Luo (auth.), Thorsten Altenkirch, Conor McBride (eds.)
Generic Programming: IFIP TC2 / WG2.1 Working Conference Programming July 11–12, 2002, Dagstuhl, Germany
  • PDF
  • English
  • Year: 2003
  • Author: Thorsten Altenkirch, Conor Mcbride (auth.), Jeremy Gibbons, Johan Jeuring (eds.)
Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers
  • PDF
  • English
  • Year: 2007
  • Author: Robin Adams, Zhaohui Luo (auth.), Thorsten Altenkirch, Conor McBride (eds.)
Programming Languages and Systems: 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Sam Lindley, Philip Wadler (auth.), Andrew D. Gordon (eds.)
Programming Languages: 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: André Murbach Maidl, Fabio Mascarenhas, Roberto Ierusalimschy (auth.), André Rauber Du Bois, Phil Trinder (eds.)
Programming Languages: 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: André Murbach Maidl, Fabio Mascarenhas, Roberto Ierusalimschy (auth.), André Rauber Du Bois, Phil Trinder (eds.)
Children and their Families: Contact, Rights and Welfare
  • PDF
  • English
  • Year: 2003
  • Author: Andrew Bainham; Bridget Lindley; Martin Richards; Liz Trinder (editors)
Euro-Par 2022: Parallel Processing: 28th International Conference on Parallel and Distributed Computing, Glasgow, UK, August 22–26, 2022, Proceedings (Lecture Notes in Computer Science, 13440)
  • PDF
  • English
  • Year: 2022
  • Author: José Cano (editor), Phil Trinder (editor)
search