Séminaire,
Nov. 5, 2015
Bob Atkey (Strathclyde Univ., UK), Type systems for programming with coinductive data types
Schedule
- Nov. 5, 2015, 10:30 - 12:00
Abstract
(title to be confirmed)
(title to be confirmed)