SwePub
Sök i SwePub databas

  Extended search

Träfflista för sökning "L773:9783540677154 OR L773:9783540450221 "

Search: L773:9783540677154 OR L773:9783540450221

  • Result 1-1 of 1
Sort/group result
   
EnumerationReferenceCoverFind
1.
  • Calcagno, Cristiano, et al. (author)
  • Closed Types as a Simple Approach to Safe Imperative Multi-Stage Programming
  • 2000
  • In: Automata, Languages and Programming. - Heidelberg : Springer. - 9783540677154 - 9783540450221 ; , s. 25-36
  • Conference paper (peer-reviewed)abstract
    • 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.
  •  
Skapa referenser, mejla, bekava och länka
  • Result 1-1 of 1
Type of publication
conference paper (1)
Type of content
peer-reviewed (1)
Author/Editor
Taha, Walid, 1971- (1)
Moggi, Eugenio (1)
Calcagno, Cristiano (1)
University
Halmstad University (1)
Language
English (1)
Research subject (UKÄ/SCB)
Engineering and Technology (1)
Year
2000 (1)

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Close

Copy and save the link in order to return to this view