3 research outputs found
Soft typing
- Author
- Publication venue
- 'Association for Computing Machinery (ACM)'
- Publication date
- Field of study
Encoding types in ML-like languages
- Author
- Publication venue
- 'Association for Computing Machinery (ACM)'
- Publication date
- Field of study
Two for the price of one
- Author
- Appel Andrew W.
- Consel Charles
- Consel Charles
- Danvy Olivier
- Danvy Olivier
- Draves Scott
- Dussart Dirk
- Dussart Dirk
- Futamura Yoshihiko
- Hamilton Geoffrey W.
- Hoist Carsten Kehler
- Johnsson Thomas
- Jones Neil D.
- Jones Simon Peyton
- Launchbury John
- Leone Mark
- Massalin Henry
- Meijer Erik
- Michael Sperber
- Nielsen Kristian
- Peter Thiemann
- Proc
- Proc ACM.
- Schmidt David A.
- Seidl Helmut
- Szrensen Morten Heine
- Szrensen Morten Heine
- Thiemann Peter
- Torte Mads
- Publication venue
- 'Association for Computing Machinery (ACM)'
- Publication date
- Field of study