1. 2019
  2. StkTokens: Enforcing Well-Bracketed Control Flow and Stack Encapsulation Using Linear Capabilities

    Skorstengaard, L., Devriese, D. & Birkedal, L., Jan 2019, In : Proceedings of the ACM on Programming Languages. 3, POPL, p. 1-28 28 p., 19.

    Research output: Contribution to journalArticleResearchpeer-review

  3. 2018
  4. StkTokens: Enforcing Well-bracketed Control Flow and Stack Encapsulation using Linear Capabilities - Technical Report with Proofs and Details

    Skorstengaard, L., Devriese, D. & Birkedal, L., 7 Nov 2018, 86 p.

    Research output: Book/ReportOther reportResearch

  5. Coherent explicit dictionary application for Haskell

    Winant, T. & Devriese, D., 17 Sep 2018, Haskell 2018 - Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell, co-located with ICFP 2018. Association for Computing Machinery, Inc, p. 81-93 13 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paperResearch

  6. Coherent Explicit Dictionary Application for Haskell: Formalisation and Coherence Proof

    Winant, T. & Devriese, D., 30 Jul 2018, arXiv. 42 p.

    Research output: Book/ReportOther reportResearch

  7. Degrees of relatedness: A unified framework for parametricity, irrelevance, Ad Hoc polymorphism, intersections, unions and algebra in dependent type theory

    Nuyts, A. & Devriese, D., 9 Jul 2018, Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018. Institute of Electrical and Electronics Engineers Inc., p. 779-788 10 p. (Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18).

    Research output: Chapter in Book/Report/Conference proceedingConference paperResearch

  8. Proof-relevant unification: Dependent pattern matching with only the axioms of your type theory

    Cockx, J. & Devriese, D., 10 May 2018, In : Journal of Functional Programming. 28, e12, 55 p.

    Research output: Contribution to journalArticleResearchpeer-review

  9. Scalagna 0.1: Towards multi-tier programming with scala and Scala.js

    Reynders, B., Greefs, M., Devriese, D. & Piessens, F., 9 Apr 2018, Programming 2018 Companion - Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming. Association for Computing Machinery (ACM), Vol. Part F137691. p. 69-74 6 p. (Conference Companion of the 2Nd International Conference on Art, Science, and Engineering of Programming).

    Research output: Chapter in Book/Report/Conference proceedingConference paperResearch

  10. Elmsvuur: A multi-tier version of Elm and its time-traveling debugger

    Horemans, J., Reynders, B., Devriese, D. & Piessens, F., 2018, Trends in Functional Programming - 18th International Symposium, TFP 2017, Revised Selected Papers. Springer Verlag, Vol. 10788 LNCS. p. 79-97 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10788 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference paperResearch

  11. Parametricity versus the Universal Type

    Devriese, D., Patrignani, M. & Piessens, F., 2018, In : Proc. ACM Program. Lang.. 2, POPL, p. 1-23 23 p.

    Research output: Contribution to journalArticleResearchpeer-review

Previous 1 2 3 4 5 6 Next

ID: 39737071