Home

HATS

Personal

Publications  

Research

Talks

ETH  




Background

Equational Reasoning

Prolog

Textbook: Types and Programming Languages
             Untyped Systems
             Simple Types
             Subtyping

Projects