Pablo E. Martínez López

According to our database, Pablo E. Martínez López authored at least 15 papers between 1996 and 2020.

Collaborative distances:

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

2020

Polymorphic System I.

Cristian F. Sottile, Alejandro Díaz-Caro, Pablo E. Martínez López

Proceedings of the IFL 2020: 32nd Symposium on Implementation and Application of Functional Languages, 2020

2017

The GOBSTONES method for teaching computer programming.

Pablo E. Martínez López, Daniel Alfredo Ciolek, Gabriela Arévalo, Denise Pari

Proceedings of the 2017 XLIII Latin American Computer Conference, 2017

2015

Isomorphisms considered as equalities: Projecting functions and enhancing partial application through and implementation of lambda+.

Alejandro Díaz-Caro, Pablo E. Martínez López

CoRR, 2015

Isomorphisms considered as equalities: Projecting functions and enhancing partial application through an implementation of λ⁺.

Alejandro Díaz-Caro, Pablo E. Martínez López

Proceedings of the 27th Symposium on the Implementation and Application of Functional Programming Languages, 2015

2009

Developing DSLs using combinators. A design pattern.

Pablo Andrés Barrientos, Pablo E. Martínez López

Proceedings of the International Multiconference on Computer Science and Information Technology, 2009

2008

A preliminary study on various implementation approaches of domain-specific language.

Tomaz Kosar, Pablo E. Martínez López, Pablo Andrés Barrientos, Marjan Mernik

Inf. Softw. Technol., 2008

2003

Tagging, Encoding, and Jones Optimality.

Olivier Danvy, Pablo E. Martínez López

Proceedings of the Programming Languages and Systems, 2003

2002

Principal type specialisation.

Pablo E. Martínez López, John Hughes

Proceedings of the ACM SIGPLAN ASIA-PEPM 2002, 2002

2001

HyCom: A Domain Specific Language for Hypermedia Application Development.

Walter A. Risi, Pablo E. Martínez López, Daniel H. Marcos

Proceedings of the 34th Annual Hawaii International Conference on System Sciences (HICSS-34), 2001

1999

Explicit Substitutions for Objects and Functions

Delia Kesner, Pablo E. Martínez López

J. Funct. Log. Program., 1999

1998

Fork Algebraic Datatypes.

Pablo E. Martínez López, Gabriel A. Baum

Log. J. IGPL, 1998

A Functional Programming Approach to Hypermedia Authoring.

Daniel H. Marcos, Pablo E. Martínez López, Walter A. Risi

Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), 1998

1997

Modelling String Folding with G2L Grammars.

Natalio Krasnogor, Pablo E. Martínez López, Pablo Mocciola, David A. Pelta

Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97), 1997

Protien Folding meets Functional Programming.

Natalio Krasnogor, Pablo E. Martínez López, Pablo Mocciola, David A. Pelta

Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97), 1997

1996

From Specifications to Programs: A Fork-Algebraic Approach to Bridge the Gap.

Gabriel Baum, Marcelo F. Frias, Armando Martin Haeberer, Pablo E. Martínez López

Proceedings of the Mathematical Foundations of Computer Science 1996, 1996