Alejandro Tamalet

Publication Activity (10 Years)

Years Active: 2008-2013
Publications (10 Years): 0

Top Topics

Functional Programs

Lazy Evaluation

Top Venues

Publications

Olha Shkaravska, Marko C. J. D. van Eekelen, Alejandro Tamalet
Collected Size Semantics for Strict Functional Programs over General Polymorphic Lists. FOPARA (2013)
Alejandro Tamalet, Ken Madlener
Reasoning about Assignments in Recursive Data Structures. SBMF (2010)
Marieke Huisman, Alejandro Tamalet
A Formal Connection between Security Automata and JML Annotations. FASE (2009)
Erik Schierboom, Alejandro Tamalet, Hendrik Tews, Marko C. J. D. van Eekelen, Sjaak Smetsers
Preemption Abstraction. FMICS (2009)
Olha Shkaravska, Marko C. J. D. van Eekelen, Alejandro Tamalet
Collected Size Semantics for Functional Programs over Lists. IFL (2008)
Alejandro Tamalet, Olha Shkaravska, Marko C. J. D. van Eekelen
Size Analysis of Algebraic Data Type. Trends in Functional Programming (2008)