Call-by-value mixin modules: reduction semantics, side effects, types

Tom Hirschowitz; Xavier Leroy; J. B. Wells

doi:10.1007/978-3-540-24725-8_6

Call-by-value mixin modules: reduction semantics, side effects, types

Tom Hirschowitz, Xavier Leroy, J. B. Wells

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

6 Citations (Scopus)

Abstract

Mixin modules are a framework for modular programming that supports code parameterization, incremental programming via late binding and redefinitions, and cross-module recursion. In this paper, we develop a language of mixin modules that supports call-by-value evaluation, and formalize a reduction semantics and a sound type system for this language. © Springer-Verlag 2004.

Original language	English
Title of host publication	Programming Languages and Systems
Subtitle of host publication	13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings
Pages	64-78
Number of pages	15
Volume	2986
ISBN (Electronic)	978-3-540-24725-8
DOIs	https://doi.org/10.1007/978-3-540-24725-8_6
Publication status	Published - 2004

Publication series

Name	Lecture Notes in Computer Science
Volume	2986
ISSN (Print)	0302-9743

Access to Document

10.1007/978-3-540-24725-8_6

Cite this

Hirschowitz, T., Leroy, X., & Wells, J. B. (2004). Call-by-value mixin modules: reduction semantics, side effects, types. In Programming Languages and Systems: 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings (Vol. 2986, pp. 64-78). (Lecture Notes in Computer Science; Vol. 2986). https://doi.org/10.1007/978-3-540-24725-8_6

Hirschowitz, Tom ; Leroy, Xavier ; Wells, J. B. / Call-by-value mixin modules : reduction semantics, side effects, types. Programming Languages and Systems: 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings. Vol. 2986 2004. pp. 64-78 (Lecture Notes in Computer Science).

@inbook{d81ea43bdc37430780a85630efeee87e,

title = "Call-by-value mixin modules: reduction semantics, side effects, types",

abstract = "Mixin modules are a framework for modular programming that supports code parameterization, incremental programming via late binding and redefinitions, and cross-module recursion. In this paper, we develop a language of mixin modules that supports call-by-value evaluation, and formalize a reduction semantics and a sound type system for this language. {\textcopyright} Springer-Verlag 2004.",

author = "Tom Hirschowitz and Xavier Leroy and Wells, {J. B.}",

year = "2004",

doi = "10.1007/978-3-540-24725-8_6",

language = "English",

isbn = "978-3-540-21313-0",

volume = "2986",

series = "Lecture Notes in Computer Science",

pages = "64--78",

booktitle = "Programming Languages and Systems",

}

Hirschowitz, T, Leroy, X & Wells, JB 2004, Call-by-value mixin modules: reduction semantics, side effects, types. in Programming Languages and Systems: 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings. vol. 2986, Lecture Notes in Computer Science, vol. 2986, pp. 64-78. https://doi.org/10.1007/978-3-540-24725-8_6

Call-by-value mixin modules : reduction semantics, side effects, types. / Hirschowitz, Tom; Leroy, Xavier; Wells, J. B.

Programming Languages and Systems: 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings. Vol. 2986 2004. p. 64-78 (Lecture Notes in Computer Science; Vol. 2986).

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

TY - CHAP

T1 - Call-by-value mixin modules

T2 - reduction semantics, side effects, types

AU - Hirschowitz, Tom

AU - Leroy, Xavier

AU - Wells, J. B.

PY - 2004

Y1 - 2004

N2 - Mixin modules are a framework for modular programming that supports code parameterization, incremental programming via late binding and redefinitions, and cross-module recursion. In this paper, we develop a language of mixin modules that supports call-by-value evaluation, and formalize a reduction semantics and a sound type system for this language. © Springer-Verlag 2004.

AB - Mixin modules are a framework for modular programming that supports code parameterization, incremental programming via late binding and redefinitions, and cross-module recursion. In this paper, we develop a language of mixin modules that supports call-by-value evaluation, and formalize a reduction semantics and a sound type system for this language. © Springer-Verlag 2004.

U2 - 10.1007/978-3-540-24725-8_6

DO - 10.1007/978-3-540-24725-8_6

M3 - Chapter (peer-reviewed)

SN - 978-3-540-21313-0

VL - 2986

T3 - Lecture Notes in Computer Science

SP - 64

EP - 78

BT - Programming Languages and Systems

ER -

Hirschowitz T, Leroy X, Wells JB. Call-by-value mixin modules: reduction semantics, side effects, types. In Programming Languages and Systems: 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings. Vol. 2986. 2004. p. 64-78. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-540-24725-8_6

Call-by-value mixin modules: reduction semantics, side effects, types

Abstract

Publication series

Access to Document

Fingerprint

Cite this