[TYPES] types

Vladimir Voevodsky vladimir at ias.edu
Tue May 13 11:06:55 EDT 2014

On May 12, 2014, at 11:51 PM, Marius Nita <m at mariusnita.com> wrote:

> As far as I can tell, that quote accurately describes types in ML or Haskell, which disallow all "invalid" behaviors along with some valid ones. It's not clear what you mean by "constructive".

"match" and "case". 


More information about the Types-list mailing list