Dominique Devriese

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◁ ▶ single authored publications

> Home > Persons > Dominique Devriese

Publications

2019
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/Devriese19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/Devriese19
Dominique Devriese:
Modular effects in Haskell through effect polymorphism and explicit dictionary applications: a new approach and the μVeriFast verifier as a case study. Haskell@ICFP 2019: 1-14
2014
[b1]
- view
  authority control:
- export record
  dblp key:
  - phd/basesearch/Devriese14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/basesearch/Devriese14
Dominique Devriese:
Functional Techniques for Representing and Specifying Software (Functionele technieken voor het voorstellen en specifiëren van software). Katholieke Universiteit Leuven, Belgium, 2014

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.