The top documents tagged [simple recursive types]

Certified Programming with Dependent Types
Documents Certified Programming with Dependent Types

29 views