« earlier | later » Page 1 of 1

PEP 483 - The Theory of Type Hints | Python.org edit / delete

A type-theoretic approach to Python -- good to see!

to language-design programming python type-theory types ... on 22 March 2015

« earlier | later » Page 1 of 1

Browser bookmarks: tasty+ | tasty= Log in | Export | Atom

Tags related to type-theory

- type-theory
 
1 + language-design
1 + programming
1 + python
1 + types