Daniel Fridlender

13 papers C 2Journal 5Unranked 6
YearRankTypeTitle / Venue / Authors
2020 J jnl
Understanding Lua's Garbage Collection - Towards a Formalized Static Analyzer.
CoRR
Mallku Soldevila, Beta Ziliani, Daniel Fridlender
2020 C conf
Understanding Lua's Garbage Collection: Towards a Formalized Static Analyzer.
PPDP
Mallku Soldevila, Beta Ziliani, Daniel Fridlender
2017 — conf
Biorthogonality for a Lazy language.
IFL
Daniel Fridlender, Alejandro Gadea, Miguel Pagano, Leonardo Rodríguez
2017 J jnl
Decoding Lua: Formal Semantics for the Developer and the Semanticist.
CoRR
Mallku Soldevila, Beta Ziliani, Bruno Silvestre, Daniel Fridlender, Fabio Mascarenhas
2017 C conf
Decoding Lua: formal semantics for the developer and the semanticist.
DLS
Mallku Soldevila, Beta Ziliani, Bruno Silvestre, Daniel Fridlender, Fabio Mascarenhas
2015 — conf
Proving Correctness of a Compiler Using Step-indexed Logical Relations.
LSFA
Leonardo Rodríguez, Miguel Pagano, Daniel Fridlender
2015 J jnl
Pure type systems with explicit substitutions.
J. Funct. Program.
Daniel Fridlender, Miguel Pagano
2013 — conf
A Certified Extension of the Krivine Machine for a Call-by-Name Higher-Order Imperative Language.
TYPES
Leonardo Rodríguez, Daniel Fridlender, Miguel Pagano
2013 — conf
A Type-Checking Algorithm for Martin-Löf Type Theory with Subtyping Based on Normalisation by Evaluation.
TLCA
Daniel Fridlender, Miguel Pagano
2002 J jnl
A Proof-Irrelevant Model of Martin-Löf's Logical Framework.
Math. Struct. Comput. Sci.
Daniel Fridlender
2000 J jnl
Do we need dependent types?
J. Funct. Program.
Daniel Fridlender, Mia Indrika
1998 — conf
An Interpretation of the Fan Theorem in Type Theory.
TYPES
Daniel Fridlender
1996 — conf
Highman's Lemma in theory.
TYPES
Daniel Fridlender