-
Notifications
You must be signed in to change notification settings - Fork 1
Genyris Blog
Peter Birch edited this page Dec 1, 2018
·
1 revision
Writing about the Genyris project.
28.11.2018 |
The Importance of Identity - Units of Measure Implementing units of measure for numbers - showing that identity is essential fro adding types to values. Examples in Genyris and Lua. |
28.8.2004 |
Deep Typing for Plain Old Lists - A new kind of LISP? comp.lang.lisp Announcement for the start of the Genyris project. - |
28.8.2004 |
List Processing with Latent Polymorphic Types An essay advocating adding type information to Cons cells and multiclass classification. Re-formatted in Markdown from the original tex PDF |