BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Italy
1 × Japan
1 × Sweden
6 × USA
Collaborated with:
F.Piessens T.Winant J.Cockx B.Reynders L.Skorstengaard L.Birkedal M.Patrignani I.Sergey D.Clarke T.Schrijvers M.Might J.Midtgaard D.Darais
Talks about:
type (6) explicit (3) haskel (3) applic (3) safe (3) dictionari (2) abstract (2) program (2) pattern (2) generat (2)

Person: Dominique Devriese

DBLP DBLP: Devriese:Dominique

Contributed to:

GPCE 20152015
ESOP 20142014
ICFP 20142014
Onward! 20142014
PADL 20142014
ICFP 20132013
PEPM 20132013
PLDI 20132013
ICFP 20112011
PADL 20112011
ESOP 20182018
Haskell 20182018
Haskell 20192019
POPL 20162016
PPDP 20172017
POPL 20182018
POPL 20192019

Wrote 17 papers:

GPCE-2015-ReyndersDP #api #bound #generative
Generating safe boundary APIs between typed EDSLs and their environments (BR, DD, FP), pp. 31–34.
ESOP-2014-CockxPD #independence #similarity
Overlapping and Order-Independent Patterns — Definitional Equality for All (JC, FP, DD), pp. 87–106.
ICFP-2014-CockxDP #pattern matching
Pattern matching without K (JC, DD, FP), pp. 257–268.
Onward-2014-ReyndersDP #functional #multi #programming #web
Multi-Tier Functional Reactive Programming for the Web (BR, DD, FP), pp. 55–68.
PADL-2014-WinantDPS #haskell
Partial Type Signatures for Haskell (TW, DD, FP, TS), pp. 17–32.
ICFP-2013-DevrieseP #metaprogramming
Typed syntactic meta-programming (DD, FP), pp. 73–86.
PEPM-2013-DevrieseSCP #domain-specific language #recursion
Fixing idioms: a recursion primitive for applicative DSLs (DD, IS, DC, FP), pp. 97–106.
PLDI-2013-SergeyDMMDCP #monad
Monadic abstract interpreters (IS, DD, MM, JM, DD, DC, FP), pp. 399–410.
ICFP-2011-DevrieseP #on the
On the bright side of type classes: instance arguments in Agda (DD, FP), pp. 143–155.
PADL-2011-DevrieseP #combinator #domain-specific language #recursion #semiparsing
Explicitly Recursive Grammar Combinators — A Better Model for Shallow Parser DSLs (DD, FP), pp. 84–98.
ESOP-2018-SkorstengaardDB #pointer #reasoning #stack
Reasoning About a Machine with Local Capabilities - Provably Safe Stack and Return Pointer Management (LS, DD, LB), pp. 475–501.
Haskell-2018-WinantD #haskell #taxonomy
Coherent explicit dictionary application for Haskell (TW, DD), pp. 81–93.
Haskell-2019-Devriese #approach #case study #composition #haskell #morphism #polymorphism #taxonomy #verification
Modular effects in Haskell through effect polymorphism and explicit dictionary applications: a new approach and the μVeriFast verifier as a case study (DD), pp. 1–14.
POPL-2016-DevriesePP #approximate #compilation
Fully-abstract compilation by approximate back-translation (DD, MP, FP), pp. 164–177.
PPDP-2017-WinantCD #code generation #type safety
Expressive and strongly type-safe code generation (TW, JC, DD), pp. 199–210.
POPL-2018-DevriesePP #parametricity
Parametricity versus the universal type (DD, MP, FP), p. 23.
POPL-2019-SkorstengaardDB #control flow #encapsulation #linear #named #stack #using
StkTokens: enforcing well-bracketed control flow and stack encapsulation using linear capabilities (LS, DD, LB), p. 28.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.