Manifestations of Genericity

Between Logic and the World: An Integrated Theory of Generics

Practical Programming

Type-Driven Development with Idris

Between Logic and the World An Integrated Theory of Generics

Object-oriented and Classical Software Engineering

Basic Simple Type Theory

Certified Programming with Dependent Types A Pragmatic Introduction to

Type-Driven Development with Idris (Paperback)

Functional Programming with C#

Lecture Notes in Computer Science The Generic Development Language Deva Book 738 (Paperback)

Thinking in Linq: Harnessing the Power of Functional Programming in .Net Applications (Paperback)

Concepts in Programming Languages

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant

Theories of Programming Languages

Object-Oriented Programming With Java

The Elements of Programming Style