No. Title Author Year
1 Dependent Types for Class-based Mutable Objects Campos, Joana et al. 2018
2 Dependent Types for Class-based Mutable Objects (Artifact) Campos, Joana et al. 2018
3 Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051) Gay, Simon et al. 2017
4 MiKO---Mikado Koncurrent Objects Martins, Francisco et al. 2006
Current Page :
Number of result pages: 1
Number of documents: 4


DROPS-Home | Imprint | Privacy Published by LZI