Andi Bejleri | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Mira Mezini
26 publications
Oliver Bračevac
5 publications
Patrick Eugster
4 publications
Sebastian Erdweg
3 publications
Edlira Kuci
1 publication
Elton Domnori
1 publication
Malte Viering
1 publication

research

∙ 02/01/2019

Comprehensive Multiparty Session Types

Multiparty session types (MST) are a well-established type theory that d...

0 Andi Bejleri, et al. ∙

research

∙ 05/16/2017

A Co-contextual Type Checker for Featherweight Java (incl. Proofs)

This paper addresses compositional and incremental type checking for obj...

0 Edlira Kuci, et al. ∙