The Expressiveness of Simple and Second-Order Type Structures


Typed lambda (?`-) calculi provtde convement mathematical settings in which to investigate the effects of type structure on the function definmon mechamsm m programming languages. Lambda expressaons mtm~c programs that do not use while loops or carcular function definitions. Two typed ?`-calculi are investigated, the sunply typed ?`-calculus, whose types… (More)
DOI: 10.1145/322358.322370


Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.


Citations per Year

70 Citations

Semantic Scholar estimates that this publication has 70 citations based on the available data.

See our FAQ for additional information.

Slides referencing similar topics