Pablo E. Martínez López

18 papers A 4B 1C 1Journal 5Unranked 6
YearRankTypeTitle / Venue / Authors
2021 J jnl
Polymorphic System I.
CoRR
Cristian F. Sottile, Alejandro Díaz-Caro, Pablo E. Martínez López
2020 — conf
Polymorphic System I.
IFL
Cristian F. Sottile, Alejandro Díaz-Caro, Pablo E. Martínez López
2017 C conf
The GOBSTONES method for teaching computer programming.
CLEI
Pablo E. Martínez López, Daniel Alfredo Ciolek, Gabriela Arévalo, Denise Pari
2015 — conf
Isomorphisms considered as equalities: Projecting functions and enhancing partial application through an implementation of λ
IFL
Alejandro Díaz-Caro, Pablo E. Martínez López
2015 J jnl
Isomorphisms considered as equalities: Projecting functions and enhancing partial application through and implementation of lambda+.
CoRR
Alejandro Díaz-Caro, Pablo E. Martínez López
2009 — conf
Developing DSLs using combinators. A design pattern.
IMCSIT
Pablo Andrés Barrientos, Pablo E. Martínez López
2008 J jnl
A preliminary study on various implementation approaches of domain-specific language.
Inf. Softw. Technol.
Tomaz Kosar, Pablo E. Martínez López, Pablo Andrés Barrientos, Marjan Mernik
2005 — —
Type specialisation of polymorphic languages
Pablo E. Martínez López
2003 A conf
Tagging, Encoding, and Jones Optimality.
ESOP
Olivier Danvy, Pablo E. Martínez López
2002 — conf
Principal type specialisation.
ASIA-PEPM
Pablo E. Martínez López, John Hughes
2001 — conf
HyCom: A Domain Specific Language for Hypermedia Application Development.
HICSS
Walter A. Risi, Pablo E. Martínez López, Daniel H. Marcos
1999 J jnl
Explicit Substitutions for Objects and Functions
J. Funct. Log. Program.
Delia Kesner, Pablo E. Martínez López
1998 A conf
A Functional Programming Approach to Hypermedia Authoring.
ICFP
Daniel H. Marcos, Pablo E. Martínez López, Walter A. Risi
1998 — conf
Explicit Substitutions for Objects and Functions.
PLILP/ALP
Delia Kesner, Pablo E. Martínez López
1998 J jnl
Fork Algebraic Datatypes.
Log. J. IGPL
Pablo E. Martínez López, Gabriel A. Baum
1997 A conf
Modelling String Folding with G2L Grammars.
ICFP
Natalio Krasnogor, Pablo E. Martínez López, Pablo Mocciola, David A. Pelta
1997 A conf
Protien Folding meets Functional Programming.
ICFP
Natalio Krasnogor, Pablo E. Martínez López, Pablo Mocciola, David A. Pelta
1996 B conf
From Specifications to Programs: A Fork-Algebraic Approach to Bridge the Gap.
MFCS
Gabriel Baum, Marcelo F. Frias, Armando Martin Haeberer, Pablo E. Martínez López