The CUBE languages
- 9 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableThis publication has 8 references indexed in Scilit:
- Enhancing Show-and-Tell with a polymorphic type system and higher-order functionsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Andorra IPublished by Association for Computing Machinery (ACM) ,1991
- Reality built for two: a virtual reality toolACM SIGGRAPH Computer Graphics, 1990
- Interfaces for Advanced ComputingScientific American, 1987
- Walkthrough---a dynamic graphics system for simulating virtual buildingsPublished by Association for Computing Machinery (ACM) ,1987
- A polymorphic type system for prologArtificial Intelligence, 1984
- Principal type-schemes for functional programsPublished by Association for Computing Machinery (ACM) ,1982
- The undecidability of unification in third order logicInformation and Control, 1973