Alejandro Gadea

According to our database, Alejandro Gadea authored at least 5 papers between 2017 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2020

Mechanization of coherence and adequacy: Being extrinsic extended to subtyping.

Alejandro Gadea, Emmanuel Gunther, Miguel Pagano

Sci. Comput. Program., 2020

A formalisation of LEGv8 in Agda.

Santiago Arranz Olmos, Martín Fernández, Matías Steinberg, Alejandro Gadea, Emmanuel Gunther, Miguel Pagano

Proceedings of the SBLP '20: 24th Brazilian Symposium on Programming Languages, 2020

2017

Formalization of Universal Algebra in Agda.

Emmanuel Gunther, Alejandro Gadea, Miguel Pagano

Proceedings of the 12th Workshop on Logical and Semantic Frameworks, with Applications, 2017

The importance of being Extrinsic: Coherence and adequacy for a call-by-value language.

Alejandro Gadea, Emmanuel Gunther, Miguel Pagano

Proceedings of the 21st Brazilian Symposium on Programming Languages, 2017

Biorthogonality for a Lazy language.

Daniel Fridlender, Alejandro Gadea, Miguel Pagano, Leonardo Rodríguez

Proceedings of the 29th Symposium on Implementation and Application of Functional Programming Languages, 2017