Types and type inference in a visual programming language

Proceedings - 1993 IEEE Symposium on Visual Languages, VL 1993

Volumn , Issue , 1993, Pages 238-243

  Burnett, M M ^a  

^a OREGON STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONCEPTUAL MODEL; TEXTUAL LANGUAGE; TYPE INFERENCES; TYPE SYSTEMS; VISUAL PROCESS; VISUAL PROGRAMMING LANGUAGES;

VISUAL LANGUAGES;

EID: 0000165848     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/VL.1993.269603     Document Type: Conference Paper

References (11)

1. M. Bumett, Abstraction in the demand-driven, temporal assignment, visual language model, Ph.D. Thesis, Univ. Kansas, 199 1.
2. M. Burnett, A. Ambler, A declarative approach to event handling in visual programming languages, IEEE Wkshp. on Vis. Langs., Seattle, 34-40, Sept. 1992.
3. J. Fairbairn, A new type-checker for a functional language, in Data Types and Persistence, (M. Atkinson, P. Buneman, R. Morrison, eds.), Springer-Verlag, 1988.
4. D. Ingalls, S. Wallace, Y. Chow, F. Ludolph, K. Doyle, Fabrik, A visual programming environment, OOPSLA, San Diego, 176-190, Sept. 1988.
5. R. Milner, A theory of type polymorphism in programming, J. of Computer and System Sciences 17, 348-375, 1978.
6. M. Najork, E. Golin, Enhancing Show-and-Tell with a polymorphic type system and higher-order functions, IEEE Wkshp. on Vis. Langs., Skokie, IL, Oct. 1990.
7. M. Najork, S. Kaplan, The CUBE language, IEEE Wkshp. on Vis. Langs., Kobe, Japan, 218-224, Oct. 1991.
8. R. Nikhil, Practical polymorphism, in Functional Programming Langs. and Computer Arch., (J. Jouannaud, ed.), LNCS #201, Springer-Verlag, 319-333, Sept. 1985.
9. J. Poswig, K. Teves, G. Vrankar, C. Moraga, VisaViscontributions to practice and theory of highly interactive visual languages, IEEE Wkshp. on Vis. Langs., Seattle, 155-162, Sept. 1992.
10. I. Toyn, A. Dix, C. Runciman, Performance polymorphism, in Functional Programming Langs. and Computer Arch., (G. Kahn, ed.), LNCS #274, Springer-Verlag, 325-346, Sept. 1987.
11. G. Viehstaedt, A. Ambler, Visual representation and manipulation of matrices, J. of Vis. Langs. and Computing, 3(3), 273-298, Sept. 1992.