Proceedings of the 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '94 1994
DOI: 10.1145/174675.176927
|View full text |Cite
|
Sign up to set email alerts
|

A type-theoretic approach to higher-order modules with sharing

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
186
0

Year Published

1998
1998
2016
2016

Publication Types

Select...
4
4

Relationship

1
7

Authors

Journals

citations
Cited by 216 publications
(186 citation statements)
references
References 25 publications
0
186
0
Order By: Relevance
“…In this context, path-dependent types go back at least to SML (Macqueen, 1986), with foundational work on transparent bindings by Harper and Lillibridge (1994) and Leroy (1994). Unlike DOT, their systems are stratified, i.e.…”
Section: Related Workmentioning
confidence: 99%
“…In this context, path-dependent types go back at least to SML (Macqueen, 1986), with foundational work on transparent bindings by Harper and Lillibridge (1994) and Leroy (1994). Unlike DOT, their systems are stratified, i.e.…”
Section: Related Workmentioning
confidence: 99%
“…Units are analogous to ML's functor module system [25,26] and the mixins and traits of OO programming languages [27,28].…”
Section: Contracts For Nominally Linked Unitsmentioning
confidence: 99%
“…Modules that are sealed with a signature to impose type abstraction [11] are regarded as impure. In other words, sealing is regarded as a pro forma computational effect.…”
Section: Abstraction and Sealingmentioning
confidence: 99%
“…Some previous attempts have encountered difficulties with undecidability [11] or incompleteness of type checking [27]. In contrast, our formalism leads to a practical, implementable programming language.…”
Section: Existential Signaturesmentioning
confidence: 99%
See 1 more Smart Citation