Browsing by Author "Devriese, Dominique"
- Results Per Page
- Sort Options
Publication Coherent explicit dictionary application for Haskell
Publication Degrees of relatedness: A unified framework for parametricity, irrelevance, Ad Hoc polymorphism, intersections, unions and algebra in dependent type theory
Publication Elmsvuur: A multi-tier version of Elm and its time-traveling debugger
Publication Experience report: functional reactive programming and the DOM
Publication Expressive and strongly type-safe code generation
Publication FRP IoT Modules as a Scala DSL
Proceedings paper2017, Proceedings of the 4th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems - REBLS, 23/10/2017, p.15-20Publication Fully Abstract from Static to Gradual
Publication Gavial: Programming the web with multi-tier FRP
Publication Lifting proof-relevant unification to higher dimensions
Publication Linear capabilities for fully abstract compilation of separation-logic-verified code
Publication Modular, fully-abstract compilation by approximate back-translation
Publication Parametricity versus the universal type
Publication Plausible Sealing for Gradual Parametricity
Publication Proof-relevant unification: Dependent pattern matching with only the axioms of your type theory
Publication Purity of an ST Monad Full Abstraction by Semantically Typed Back-Translation
Publication Reasoning about a capability machine with local capabilities - provably safe stack and return pointer management (without OS support)
Publication Scalagna 0.1: Towards multi-tier programming with Scala and Scala.js
Publication Security guarantees for the execution infrastructure of software applications
Publication Temporal safety for stack allocated memory on capability machines
Publication Towards automatic compartmentalization of C programs on capability machines