1984
DOI: 10.1007/3-540-13346-1_15
|View full text |Cite
|
Sign up to set email alerts
|

The typechecking of programs with implicit type structure

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
16
0

Year Published

1985
1985
2016
2016

Publication Types

Select...
5
2
1

Relationship

0
8

Authors

Journals

citations
Cited by 34 publications
(16 citation statements)
references
References 3 publications
0
16
0
Order By: Relevance
“…We now extend the design of System HMV to include higher-rank polymorphism [17]. This extension allows function parameters to be used at multiple types.…”
Section: Higher-rank Type Systemsmentioning
confidence: 99%
“…We now extend the design of System HMV to include higher-rank polymorphism [17]. This extension allows function parameters to be used at multiple types.…”
Section: Higher-rank Type Systemsmentioning
confidence: 99%
“…We have seen that nested datatypes and polymorphic recursion are necessary for the implementation of generalized tries. Implementing tries for polymorphic datatypes, especially nested datatypes, places even greater demands on the type system: it requires rank-2 type signatures (McCracken, 1984), higher-order polymorphic datatypes (Jones, 1995), and higher-order polymorphic nests. Fortunately, all major Haskell system provide the necessary extensions.…”
Section: Lookupbinmentioning
confidence: 99%
“…The algorithm given in [McCracken84], and our slg@ rithm, will fail on the above example. The reason is that the natural typing of (close (lambda (z) 2)) is WA, which cannot be applied to two types (8 and P), but only to a single type.…”
Section: 6mentioning
confidence: 99%
“…McCracken's system did not provide the generic let construct of ML, although it did attempt to support the automatic instantiation of explicitly typed polymorphic functions in application position. Both [McCracken84] and [Leivant83] attempted to provide automatic type abstraction in more general type systems, but these results are flawed (see sections 4.5 and 4.6).…”
Section: Previousmentioning
confidence: 99%