MPG.eBooks - Search Results - "Paul Callaghan"

Cover Image

1

Types for Proofs and Programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers

Published 2002

Springer Berlin Heidelberg

Cover Image

2

Types for Proofs and Programs : International Workshop, TYPES 2000 Durham, UK, December 8–12, 2000 Selected Papers

by Callaghan, Paul
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

3

Functional programming : a PragPub anthology : exploring Clojure, Elixir, Haskell, Scala, and Swift

by Swaine, Michael
Published 2017

Pragmatic Programmers

“... Bevilacqua-Linn, Venkat Subramaniam, Paul Callaghan, Jose Valim, Dave Thomas, Natasha Murashev, Tony...”