Luca Saiu

Publication Activity (10 Years)

Years Active: 2007-2014
Publications (10 Years): 0

Top Topics

Database Languages

Probabilistic Automata

Computer Programs

Programming Paradigms

Top Venues

Publications

Akim Demaille, Alexandre Duret-Lutz, Sylvain Lombardy, Luca Saiu, Jacques Sakarovitch
A Type System for Weighted Automata and Rational Expressions. CIAA (2014)
Luca Saiu
GNU epsilon - an extensible programming language CoRR (2012)
Jean-Vincent Loddo, Luca Saiu
How to Correctly Prune Tropical Trees. AISC/MKM/Calculemus (2010)
Jean-Vincent Loddo, Luca Saiu
How to correctly prune tropical trees CoRR (2010)
Luca Saiu
Vers une programmation fonctionnelle en appel par valeur sur systèmes multi-coeurs : évaluation asynchrone et ramasse-miettes parallèle. JFLA (2009)
Luca Saiu
Vers une programmation fonctionnelle en appel par valeur sur systèmes multi-coeurs: évaluation asynchrone et ramasse-miettes parallèle. Stud. Inform. Univ. 7 (2) (2009)
Jean-Vincent Loddo, Luca Saiu
Status report: marionnet or "how to implement a virtual network laboratory in six months and be happy". ML (2007)