Intet billede af Jesper Bengtson

Jesper Bengtson

Dr

  • 4C10

20112021

Publikationer pr. år

Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

Netværk

Seneste eksterne samarbejde på lande-/områdeniveau. Dyk ned i detaljerne ved at klikke på prikkerne eller
  • Machine-Checked Semantic Session Typing

    Hinrichsen, J. K., Louwrink, D., Krebbers, R. & Bengtson, J., 2021, CPP 2021: Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs. Association for Computing Machinery, s. 178–198

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • Actris: session-type based reasoning in separation logic

    Hinrichsen, J. K., Bengtson, J. & Krebbers, R., 2020, Proceedings of the ACM on Programming Languages. Wadler, P. (red.). Association for Computing Machinery, Bind 4. s. 6:1 30 s. 6

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • Coqoon - An IDE for Interactive Proof Development in Coq

    Faithfull, A., Bengtson, J. & Tassi, E., 11 apr. 2016, 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings: TACAS 2016: Tools and Algorithms for the Construction and Analysis of Systems. Springer, s. 316-331 15 s. (Lecture Notes in Computer Science, Bind 9636).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • Extensible and Efficient Automation Through Reflective Tactics

    Malecha, G. & Bengtson, J., 22 mar. 2016, Programming Languages and Systems: 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016, Proceedings. Springer, s. 532-559 28 s. (Lecture Notes in Computer Science, Bind 9632).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Fil
  • Psi-calculi in Isabelle

    Bengtson, J., Parrow, J. & Weber, T., 13 jan. 2016, I: Journal of Automated Reasoning. 56, 1, s. 1-47 1 s., 1.

    Publikation: Artikel i tidsskrift og konference artikel i tidsskriftTidsskriftartikelForskningpeer review

    Åben adgang
    Fil