Prati
Joana Campos
Joana Campos
LaSIGE, Faculdade de Ciências, Universidade de Lisboa, Portugal
Potvrđena adresa e-pošte na lasige.di.fc.ul.pt
Naslov
Citirano
Citirano
Godina
Behavioral types in programming languages
D Ancona, V Bono, M Bravetti, J Campos, G Castagna, PM Deniélou, ...
Foundations and Trends® in Programming Languages 3 (2-3), 95-230, 2016
2082016
Channels as objects in concurrent object-oriented programming
J Campos, VT Vasconcelos
arXiv preprint arXiv:1110.4157, 2011
192011
Linear and shared objects in concurrent programming
JC Campos
PQDT-Global, 2010
82010
Dependent types for class-based mutable objects
J Campos, VT Vasconcelos
32nd European Conference on Object-Oriented Programming (ECOOP 2018), 13: 1 …, 2018
52018
Imperative Objects with Dependent Types
J Campos, VT Vasconcelos
Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs …, 2015
52015
Mool
J Campos, VT Vasconcelos
42016
Deni élou
D Ancona, V Bono, M Bravetti, J Campos, G Castagna
P., Gay, SJ, Gesbert, N., Giachino, E., Hu, R., Johnsen, EB, Martins, F …, 2016
22016
32nd European Conference on Object-Oriented Programming (ECOOP 2018)
R Mogk, L Baumgärtner, G Salvaneschi, B Freisleben, M Mezini, H Inoue, ...
Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2018
2018
Dependent Types for Class-based Mutable Objects (Artifact)
J Campos, VT Vasconcelos
Dagstuhl Artifacts Series 4 (3), 1: 1-1: 2, 2018
2018
Adding dependent types to class-based mutable objects
JC Campos
2018
Programming with mutable objects and dependent types
J Campos, VT Vasconcelos
INForum, 2016
2016
Indexed Types in Object-Oriented Programming
J Campos, VT Vasconcelos
Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.
Članci 1–12