Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Ancona, Davide"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A coalgebraic foundation for coinductive union types
Marcello Bonsangue
,
Jurriaan Rot
,
Davide Ancona
,
Frank de Boer
,
Jan Rutten
Lecture Notes in Computer Science
8573
, 2014, pp. 62-73
A calculus with lazy module operators
Davide Ancona
,
Sonia Fagorzi
,
Elena Zucca
Proceedings of the 18th World Computer Congress and TC1 3rd International Conference on Theoretical Computer Science - Exploring New Frontiers of Theoretical Informatics, IFIP TCS'2004 (Toulouse, France, August 22-27, 2004)
, 2004, pp. 423-436
Mixin modules and computational effects
Davide Ancona
,
Sonia Fagorzi
,
Eugenio Moggi
,
Elena Zucca
Lecture Notes in Computer Science
2719
, 2003, pp. 224-238