Browsing by author "Devriese, Dominique"
Now showing items 1-20 of 21
-
Cerise: Program Verification on a Capability Machine in the Presence of Untrusted Code
Georges, Aina Linn; Gueneau, Armael; Van Strydonck, Thomas; Timany, Amin; Trieu, Alix; Devriese, Dominique; Birkedal, Lars (2024) -
Coherent explicit dictionary application for Haskell
Winant, Thomas; Devriese, Dominique (2018) -
Degrees of relatedness: A unified framework for parametricity, irrelevance, Ad Hoc polymorphism, intersections, unions and algebra in dependent type theory
Nuyts, Andreas; Devriese, Dominique (2018) -
Elmsvuur: A multi-tier version of Elm and its time-traveling debugger
Horemans, Jeff; Reynders, Bob; Devriese, Dominique; Piessens, Frank (2018) -
Experience report: functional reactive programming and the DOM
Reynders, Bov; Devriese, Dominique; Piessens, Frank (2017) -
Expressive and strongly type-safe code generation
Winant, Thomas; Cockx, Jesper; Devriese, Dominique (2017) -
FRP IoT Modules as a Scala DSL
Cloostermans, Ben; Reynders, Bob; Devriese, Dominique; Noorman, Job; Piessens, Frank (2017) -
Fully Abstract from Static to Gradual
Jacobs, Koen; Timany, Amin; Devriese, Dominique (2021) -
Gavial: Programming the web with multi-tier FRP
Reynders, Bob; Piessens, Frank; Devriese, Dominique (2020) -
Lifting proof-relevant unification to higher dimensions
Cockx, Jesper; Devriese, Dominique (2017) -
Linear capabilities for fully abstract compilation of separation-logic-verified code
Van strydonck, Thomas; Piessens, Frank; Devriese, Dominique (2019) -
Modular, fully-abstract compilation by approximate back-translation
Devriese, Dominique; Patrignani, Marco; Piessens, Frank; Keuchel, Steven (2017) -
Parametricity versus the universal type
Devriese, Dominique; Patrignani, Marco; Piessens, Frank (2018) -
Plausible Sealing for Gradual Parametricity
Labrada, Elizabeth; Toro, Matias; Tanter, Eric; Devriese, Dominique (2022) -
Proof-relevant unification: Dependent pattern matching with only the axioms of your type theory
Cockx, Jesper; Devriese, Dominique (2018) -
Purity of an ST Monad Full Abstraction by Semantically Typed Back-Translation
Jacobs, Koen; Devriese, Dominique; Timany, Amin (2022) -
Reasoning about a capability machine with local capabilities - provably safe stack and return pointer management (without OS support)
Skorstengaard, Lau; Devriese, Dominique; Birkedal, Lars (2018) -
Scalagna 0.1: Towards multi-tier programming with Scala and Scala.js
Reynders, Bob; Greefs, Michael; Devriese, Dominique; Piessens, Frank (2018) -
Security guarantees for the execution infrastructure of software applications
Piessens, Frank; Devriese, Dominique; Mühlberg, Jan Tobias; Strackx, Raoul (2016) -
Temporal safety for stack allocated memory on capability machines
Tsampas, Stelios; Devriese, Dominique; Piessens, Frank (2019)