Title
Types in school
Abstract
This paper explains the type system of School. The next section discusses the separationbetween types and classes. Section 3 explains the facilities for constrained genericity. Insection 4 we show the expressiveness of the language, and how specific facilities from otherlanguages can be modeled in School. As usual, the last section draws some conclusions.2 Separation of Hierarchies
Year
DOI
Venue
1993
10.1145/163114.163125
SIGPLAN Notices
Keywords
Field
DocType
type system
Rapid prototyping,Shell (computing),Programming language,Computer science,Lisp,Graphical user interface,Human–computer interaction,Graphical user interface testing
Journal
Volume
Issue
ISSN
28
8
0362-1340
Citations 
PageRank 
References 
7
0.87
11
Authors
3
Name
Order
Citations
PageRank
Noemi de la Rocque Rodriguez114020.15
Roberto Ierusalimschy246354.25
José Lucas Rangel381.24