Ugo Dal Lago
TitleCited byYear
Planning with a Language for Extended Goals.
U Dal Lago, M Pistore, P Traverso
AAAI/IAAI, 447-454, 2002
1842002
Linear Dependent Types and Relative Completeness
M Gaboardi, U Dal Lago
Logical Methods in Computer Science 8, 2012
85*2012
On constructor rewrite systems and the lambda-calculus
U Dal Lago, S Martini
ICALP 2009, 163-174, 2009
672009
Probabilistic Operational Semantics for the Lambda Calculus
U Dal Lago, M Zorzi
RAIRO-Theoretical Informatics and Applications, 2012, 2011
662011
Context semantics, linear logic, and computational complexity
U Dal Lago
ACM Transactions on Computational Logic (TOCL) 10 (4), 25, 2009
632009
The weak lambda calculus as a reasonable machine
U Dal Lago, S Martini
Theoretical Computer Science 398 (1-3), 32-50, 2008
63*2008
Realizability models and implicit complexity
U Dal Lago, M Hofmann
Theoretical Computer Science 412 (20), 2029-2047, 2011
58*2011
(Leftmost-Outermost) Beta Reduction is Invariant, Indeed
UD Lago, B Accattoli
Logical Methods in Computer Science 12, 2016
57*2016
A lambda-calculus foundation for universal probabilistic programming
J Borgström, U Dal Lago, AD Gordon, M Szymczak
ICFP 2016 51 (9), 33-46, 2016
482016
Analysing the complexity of functional programs: higher-order meets first-order
M Avanzini, U Dal Lago, G Moser
ICFP 2015, 152-164, 2015
482015
The Geometry of Linear Higher-Order Recursion
U Dal Lago
TOCL 10 (2), 8, 2009
46*2009
Light logics and the call-by-value lambda calculus
P Coppola, U Dal Lago, SR Della Rocca
Logical Methods in Computer Science, 2008
45*2008
On the invariance of the unitary cost model for head reduction
B Accattoli, U Dal Lago
RTA 2012, 2012
422012
The Geometry of Types
U Dal Lago, B Petit
POPL 2013, 167-178, 2013
412013
Calendars, time granularities, and automata
U Dal Lago, A Montanari
Advances in Spatial and Temporal Databases, 279-298, 2001
412001
On Coinductive Equivalences for Higher-Order Probabilistic Functional Programs
U Dal Lago, D Sangiorgi, M Alberti
POPL 2014, 297-308, 2014
402014
Functional programming in sublinear space
U Dal Lago, U Schöpp
ESOP 2010, 205-225, 2010
402010
On probabilistic applicative bisimulation and call-by-value λ-calculi
R Crubillé, U Dal Lago
ESOP 2014, 209-228, 2014
392014
Derivational complexity is an invariant cost model
U Dal Lago, S Martini
FOPARA 2009, 100-113, 2009
392009
Extending PDDL to nondeterminism, limited sensing and iterative conditional plans
P Bertoli, A Cimatti, U Dal Lago, M Pistore
Proceedings of ICAPS’03 Workshop on PDDL, 2003
372003
The system can't perform the operation now. Try again later.
Articles 1–20