Search: onr:"swepub:oai:DiVA.org:hh-20990" >
Closed Types as a S...
Closed Types as a Simple Approach to Safe Imperative Multi-Stage Programming
-
- Calcagno, Cristiano (author)
- DISI, University of Genoa, Genoa, Italy
-
- Moggi, Eugenio (author)
- DISI, University of Genoa, Genoa, Italy
-
- Taha, Walid, 1971- (author)
- Department of Computing Sciences, Chalmers, Göteborg, Sweden
-
(creator_code:org_t)
- Heidelberg : Springer, 2000
- 2000
- English.
-
In: Automata, Languages and Programming. - Heidelberg : Springer. - 9783540677154 - 9783540450221 ; , s. 25-36
- Related links:
-
https://urn.kb.se/re...
-
show more...
-
https://doi.org/10.1...
-
show less...
Abstract
Subject headings
Close
- Safely adding computational effects to a multi-stage language has been an open problem. In previous work, a closed type constructor was used to provide a safe mechanism for executing dynamically generated code. This paper proposes a general notion of closed type as a simple approach to safely introducing computational effects into multi-stage languages. We demonstrate this approach formally in a core language called Mini-MLref BN. This core language combines safely multi-stage constructs and ML-style references. In addition to incorporating state, Mini-ML ref BN also embodies a number of technical improvements over previously proposed core languages for multi-stage programming.
Subject headings
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Datorsystem (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Computer Systems (hsv//eng)
Publication and Content Type
- ref (subject category)
- kon (subject category)
Find in a library
To the university's database