Alejandro Gadea

Publication Activity (10 Years)

Years Active: 2017-2020
Publications (10 Years): 5

Top Topics

Laplace Transform

Object Oriented

Algebraic Structures

Logical Language

Top Venues

Sci. Comput. Program.

Publications

Alejandro Gadea, Emmanuel Gunther, Miguel Pagano
Mechanization of coherence and adequacy: Being extrinsic extended to subtyping. Sci. Comput. Program. 197 (2020)
Santiago Arranz Olmos, Martín Fernández, Matías Steinberg, Alejandro Gadea, Emmanuel Gunther, Miguel Pagano
A formalisation of LEGv8 in Agda. SBLP (2020)
Alejandro Gadea, Emmanuel Gunther, Miguel Pagano
The importance of being Extrinsic: Coherence and adequacy for a call-by-value language. SBLP (2017)
Daniel Fridlender, Alejandro Gadea, Miguel Pagano, Leonardo Rodríguez
Biorthogonality for a Lazy language. IFL (2017)
Emmanuel Gunther, Alejandro Gadea, Miguel Pagano
Formalization of Universal Algebra in Agda. LSFA (2017)