1. 2020
  2. On the Semantic Expressiveness of Recursive Types

    Patrignani, M., Martin, E. M. & Devriese, D., 21 Oct 2020, 153 p.

    Research output: Book/ReportOther reportResearch

  3. Abstract Congruence Criteria for Weak Bisimilarity

    Tsampas, S., Williams, C., Devriese, D. & Piessens, F., 15 Oct 2020, arXiv. 22 p.

    Research output: Book/ReportOther reportResearch

  4. Leibniz equality is isomorphic to Martin-Lof identity, parametrically

    Abel, A., Cockx, J., Devriese, D., Timany, A. & Wadler, P., 17 Jun 2020, In : Journal of Functional Programming. 30, 14 p., e17.

    Research output: Contribution to journalArticle

  5. Uninitialized Capabilities

    Huyghebaert, S., Strydonck, T. V., Keuchel, S. & Devriese, D., 2 Jun 2020, 8 p.

    Research output: Book/ReportOther reportResearch

  6. CapablePtrs: Securely Compiling Partial Programs using the Pointers-as-Capabilities Principle

    El-Korashy, A., Tsampas, S., Patrignani, M., Devriese, D., Garg, D. & Piessens, F., 12 May 2020, 19 p.

    Research output: Book/ReportOther reportResearch

  7. Gavial: Programming the web with multi-tier FRP

    Reynders, B., Piessens, F. & Devriese, D., 14 Feb 2020, In : The Art, Science, and Engineering of Programming. 4, 3, 6.

    Research output: Contribution to journalArticle

  8. A Categorical Approach to Secure Compilation

    Tsampas, S., Nuyts, A., Devriese, D. & Piessens, F., 2020, Categorical Methods in Computer Science. Springer, p. 155-179 25 p. (Lecture Notes in Computer Science; vol. 12094).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  9. 2019
  10. Reasoning about a Machine with Local Capabilities: Provably Safe Stack and Return Pointer Management

    Skorstengaard, L., Devriese, D. & Birkedal, L., 1 Dec 2019, In : ACM Trans. Program. Lang. Syst.. 42, 1, p. 5:1-5:53 53 p., 5.

    Research output: Contribution to journalArticle

  11. Extended Abstract: Reasoning about Effect Parametricity Using Dependent Types

    Ceulemans, J., Nuyts, A. & Devriese, D., 18 Aug 2019. 3 p.

    Research output: Unpublished contribution to conferenceUnpublished abstract

  12. A summary on categorical contextual reasoning

    Tsampas, S., Nuyts, A., Devriese, D. & Piessens, F., 19 Jul 2019.

    Research output: Unpublished contribution to conferenceUnpublished paper

Previous 1 2 3 4 5 6 7 Next

ID: 39737071