Incremental type systems and implicit parametric overloading in visual languages
- 31 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 126-133
- https://doi.org/10.1109/vl.1993.269588
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- A theory of type polymorphism in programmingPublished by Elsevier ,2003
- VisaVis-contributions to practice and theory of highly interactive visual languagesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- The CUBE languagesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Enhancing Show-and-Tell with a polymorphic type system and higher-order functionsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- The impact of logic programming on databasesCommunications of the ACM, 1992
- Conception, evolution, and application of functional programming languagesACM Computing Surveys, 1989
- How to make ad-hoc polymorphism less ad hocPublished by Association for Computing Machinery (ACM) ,1989
- Fabrik: a visual programming environmentPublished by Association for Computing Machinery (ACM) ,1988
- Parametric overloading in polymorphic programming languagesPublished by Springer Nature ,1988
- Incremental polymorphic type checking in BPublished by Association for Computing Machinery (ACM) ,1983