Publications

ORCID0000-0002-0241-7729
Google Scholarhttps://scholar.google.de/citations?hl=en&user=0ic62YwAAAAJ
DBLPhttps://dblp.uni-trier.de/pers/d/D=uuml=dder:Boris
SCOPUShttps://www.scopus.com/authid/detail.uri?authorId=55794748200

Show all

2016

Bessai, Jan; Dudenhefner, Andrej; Düdder, Boris; Rehof, Jakob

Extracting a Formally Verified Subtyping Algorithm for Intersection Types from Ideals and Filters Inproceedings

Ghilezan, Silvia (Ed.): Proceedings of 22nd International Conference on Types for Proofs and Programs, Schloss Dagstuhl, 2016, (abstract).

BibTeX | Tags: Coq, Formal Verification, Intersection Types, Subtyping

Bessai, Jan; Chen, Tzu-Chun; Dudenhefner, Andrej; Düdder, Boris; de'Liguoro, Ugo; Rehof, Jakob

Mixin Composition Synthesis based on Intersection Types Journal Article

Logical Methods in Computer Science, 2016, (submitted).

BibTeX | Tags: Intersection Types, Mixin, Object-oriented, Record calculus, Synthesis, Trait