Records

BRICS Report Series

View Archive Info

  • » Strongly Uniform Bounds from Semi-Constructive Proofs
    Gerhardy, Philipp; Kohlenbach, Ulrich
    2004-12-11
    View Record | View Original
  • » The Design Space of Type Checkers for XML Transformation Languages
    Møller, Anders; Schwartzbach, Michael I.
    2004-12-11
    View Record | View Original
  • » Type Checking Semantic Functions in ASDF
    Iversen, Jørgen
    2004-12-11
    View Record | View Original
  • » An Action Environment
    Brand, Mark van den; Iversen, Jørgen; Mosses, Peter D.
    2004-12-11
    View Record | View Original
  • » Constructive Action Semantics for Core ML
    Iversen, Jørgen; Mosses, Peter D.
    2004-12-11
    View Record | View Original
  • » Bottom-Up beta-Substitution: Uplinks and lambda-DAGs
    Shivers, Olin; Wand, Mitchell
    2004-12-11
    View Record | View Original
  • » CPS Transformation of Beta-Redexes
    Danvy, Olivier; Nielsen, Lasse R.
    2004-12-11
    View Record | View Original
  • » Sur un Exemple de Patrick Greussay
    Danvy, Olivier
    2004-12-11
    View Record | View Original
  • » On the Recursive Enumerability of Fixed-Point Combinators
    Goldberg, Mayer
    2005-01-11
    View Record | View Original
  • » On the Dynamic Extent of Delimited Continuations
    Biernacki, Dariusz; Danvy, Olivier
    2005-01-11
    View Record | View Original
  • » There and Back Again
    Danvy, Olivier; Goldberg, Mayer
    2005-01-11
    View Record | View Original
  • » Denotational Aspects of Untyped Normalization by Evaluation
    Filinski, Andrzej; Rohde, Henning Korsholm
    2005-02-11
    View Record | View Original
  • » A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations (Preliminary...
    Biernacki, Dariusz; Danvy, Olivier; Millikin, Kevin
    2005-02-11
    View Record | View Original
  • » Distributed Approximation of Fixed-Points in Trust Structures
    Krukow, Karl; Twigg, Andrew
    2015-02-11
    View Record | View Original
  • » Modular Structural Operational Semantics
    Mosses, Peter D.
    2015-02-11
    View Record | View Original
  • » Exploiting Labels in Structural Operational Semantics
    Mosses, Peter D.
    2005-02-11
    View Record | View Original
  • » Reviewing Bounds on the Circuit Size of the Hardest Functions
    Frandsen, Gudmund Skovbjerg; Miltersen, Peter Bro
    2005-03-11
    View Record | View Original
  • » A Simple Proof of a Folklore Theorem about Delimited Control
    Biernacki, Dariusz; Danvy, Olivier
    2005-03-11
    View Record | View Original
  • » An Operational Foundation for Delimited Continuations in the CPS Hierarchy
    Biernacka, Malgorzata; Biernacki, Dariusz; Danvy, Olivier
    2005-03-11
    View Record | View Original
  • » Program Extraction from Proofs of Weak Head Normalization
    Biernacka, Malgorzata; Danvy, Olivier; Støvring, Kristian
    2005-04-11
    View Record | View Original
  • » On Obtaining the Boyer-Moore String-Matching Algorithm by Partial Evaluation
    Danvy, Olivier; Rohde, Henning Korsholm
    2005-04-11
    View Record | View Original
  • » A Concrete Framework for Environment Machines
    Biernacka, Malgorzata; Danvy, Olivier
    2005-05-11
    View Record | View Original
  • » A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations
    Biernacki, Dariusz; Danvy, Olivier; Millikin, Kevin
    2005-05-11
    View Record | View Original
  • » A Quantum Cipher with Near Optimal Key-Recycling
    Damgård, Ivan B.; Pedersen, Thomas B.; Salvail, Louis
    2005-05-11
    View Record | View Original
  • » Secure Computing, Economy, and Trust: A Generic Solution for Secure Auctions with...
    Bogetoft, Peter; Damgård, Ivan B.; Jakobsen, Thomas; Nielsen, Kurt; Pagter, Jakob; Toft, Tomas
    2005-06-11
    View Record | View Original
1 - 25 of 146 Items    1 2 3 4 5 6 > >>