Description

• Title: Axiomatizing subtyped delimited continuations
• Group publication title: LIPIcs - Leibniz International Proceedings in Informatics ; Vol.23
• Collective work title: Computer Science Logic 2013 (CSL 2013)
• Creator: Materzok, Marek
• Pages: S. 521-539
• Description: Zawiera streszczenie. ; Zawiera bibliografię. ; Zawiera ilustracje.
• Language of abstract: eng
• Publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
• Place of publishing: Wadern
• Date issued: 2013
• Type: Tekst
• Identifier: ISBN 9783939897606 ; https://doi.org/10.4230/LIPIcs.CSL.2013.521
• Language: eng
• Has version: http://dx.doi.org/10.4230/LIPIcs.CSL.2013.521
• License: CC BY
• Detailed object type: rozdz
• Object type: Rozdział