Conor McBride – författare
Visar alla böcker från författaren Conor McBride. Handla med fri frakt och snabb leverans.
4 produkter
List of Successes That Can Change the World
Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday
Av Sam Lindley, Conor McBride m. fl.
Häftad, 2016
568 kr
Lägg i varukorg
This volume is published in Honor of PhilipWadler on the occasion of his 60th birthday, and the collection of papers forma Festschrift for him. The contributions are made by some of the many who knowPhil and have been influenced by him. The research papers included hererepresent some of the areas …
List of Successes That Can Change the World
Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday
Av Don Sannella, Phil Trinder m. fl.
E-bok, 2016
755 kr
Lägg i varukorg
This volume is published in Honor of PhilipWadler on the occasion of his 60th birthday, and the collection of papers forma Festschrift for him. The contributions are made by some of the many who knowPhil and have been influenced by him. The research papers included hererepresent some of the areas …
Types for Proofs and Programs
International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers
Av Thorsten Altenkirch, Conor McBride
Häftad, 2007
568 kr
Lägg i varukorg
The refereed post-proceedings of the International Workshop of the Types Working Group are presented in this volume. The 17 papers address all current issues in formal reasoning and computer programming based on type theory, including languages and computerized tools for reasoning; applications in …
Types for Proofs and Programs
International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers
Av Conor McBride, Thorsten Altenkirch
E-bok, 2007
755 kr
Lägg i varukorg
