VisaVis-contributions to practice and theory of highly interactive visual languages
- 2 January 2003
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- A theory of type polymorphism in programmingPublished by Elsevier ,2003
- Visual programming and UNIXPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Visual tools and languages: directions for the '90sPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- VPL: an active, declarative visual programming systemPublished 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 information visualizer, an information workspacePublished by Association for Computing Machinery (ACM) ,1991
- Types in lambda calculi and programming languagesLecture Notes in Computer Science, 1990
- Unification: a multidisciplinary surveyACM Computing Surveys, 1989
- Properties of substitutions and unificationsJournal of Symbolic Computation, 1985
- Type inference and type checking for functional programming languagesPublished by Association for Computing Machinery (ACM) ,1984