👤

Kevin Robert Charter

1 book

Books by Kevin Robert Charter

A constructive type theory for
A constructive type theory for simple imperative programming
1999