Talk page for "Types Are Calling Conventions"
This is a discussion page for the paper Types Are Calling Conventions.
If you are kind enough to read this paper, you may like to jot down any thoughts it triggers off, and see what others have written. This talk-page lets you do just that.
You can identify your entries by preceding them with four tildes. Doing so adds your name, and the date. Thus:
- Batterseapower 08:42, 19 April 2007 (UTC) Note from Max
If you say who you are in this way, we'll be able to acknowledge your help in a revised version of the paper.
OK, I can add the first errata myself: I've just noticed that my section about an alternative translation for type lambdas is total nonsense because it doesn't preserve type variable binding. That's what I get for adding a new section at the last moment... Batterseapower 22:17, 10 May 2009 (UTC)