Daniel Fridlender

Publication Activity (10 Years)

Years Active: 1996-2020
Publications (10 Years): 7

Top Topics

Logical Reasoning

Formal Semantics

Owl Dl Ontology

Garbage Collection

Top Venues

J. Funct. Program.

Publications

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