Zobrazeno 1 - 10
of 15
pro vyhledávání: '"Pablo E. Martínez López"'
Publikováno v:
IFL
System I is a simply-typed lambda calculus with pairs, extended with an equational theory obtained from considering the type isomorphisms as equalities. In this work we propose an extension of System I to polymorphic types, adding the corresponding i
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::47a6d34a2f24061970c7bfcf50d9c726
http://arxiv.org/abs/2101.03215
http://arxiv.org/abs/2101.03215
Publikováno v:
CLEI
Within the context of Argentina universities that have computer science degrees in their curricula, one of the major challenges is to teach an introductory programming course for the first semester. The problem appears because the students come with
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8e2f7d4df573f6eb719257ee6c47a6a4
https://doi.org/10.1109/clei.2017.8226428
https://doi.org/10.1109/clei.2017.8226428
Publikováno v:
Information and Software Technology. 50:390-405
Various implementation approaches for developing a domain-specific language are available in literature. There are certain common beliefs about the advantages/disadvantages of these approaches. However, it is hard to be objective and speak in favor o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2267a16421c3bc1f70a112980814c4f2
https://doi.org/10.1016/j.infsof.2007.04.002
https://doi.org/10.1016/j.infsof.2007.04.002
Publikováno v:
IFL
We propose an implementation of lambda+, a recently introduced simply typed lambda-calculus with pairs where isomorphic types are made equal. The rewrite system of lambda+ is a rewrite system modulo an equivalence relation, which makes its implementa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1f663530e87c8e9de8cc17c802337813
http://arxiv.org/abs/1511.09324
http://arxiv.org/abs/1511.09324
Publikováno v:
IMCSIT
The development of domain-specific languages (DSLs) is considered by many authors as a hard task. To simplify the design of DSLs we describe a design pattern based on the combinators technique, which can also provide guidelines for previous domain an
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3849e8897a9b64717e51b7430cdbcb25
https://doi.org/10.1109/imcsit.2009.5352773
https://doi.org/10.1109/imcsit.2009.5352773
Autor:
Pablo E. Martínez López
Static type systems are fundamental tools used to determine properties of programs before execution. There exist several techniques for validation and verification of programs based on typing. Thus, type systems are important to know for the practici
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b79dcf17725d992a5f41b6428eabc72b
https://doi.org/10.4018/978-1-59140-851-2.ch011
https://doi.org/10.4018/978-1-59140-851-2.ch011
Autor:
Olivier Danvy, Pablo E. Martínez López
Publikováno v:
BRICS Report Series; No 2 (2003): RS-2 Tagging, Encoding, and Jones Optimality
BRICS Report Series; Nr. 2 (2003): RS-2 Tagging, Encoding, and Jones Optimality
BRICS Report Series; Nr. 2 (2003): RS-2 Tagging, Encoding, and Jones Optimality
A partial evaluator is said to be Jones-optimal if the result of specializing a self-interpreter with respect to a source program is textually identical to the source program, modulo renaming. Jones optimality has already been obtained if the self-in
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d54332ece6c80caca5389d1b94435700
https://doi.org/10.7146/brics.v10i2.21773
https://doi.org/10.7146/brics.v10i2.21773
Autor:
Pablo E. Martínez López, Olivier Danvy
Publikováno v:
Programming Languages and Systems ISBN: 9783540008866
ESOP
ESOP
A partial evaluator is said to be Jones-optimal if the result of specializing a self-interpreter with respect to a source program is textually identical to the source program, modulo renaming. Jones optimality has already been obtained if the self-in
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::04f50a9eac82669cf2d754363810de2d
https://doi.org/10.1007/3-540-36575-3_23
https://doi.org/10.1007/3-540-36575-3_23
Autor:
John Hughes, Pablo E. Martínez López
Publikováno v:
ASIA-PEPM
Type specialisation is an approach to program specialisation that works with both a program and its type to produce specialised versions of each. As it combines many powerful features,it appears to be a good framework for automatic program production
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::94f2c0d8fee3751d7d427de96729ba54
https://doi.org/10.1145/568173.568184
https://doi.org/10.1145/568173.568184
Autor:
Pablo E. Martínez López, Delia Kesner
Publikováno v:
Principles of Declarative Programming ISBN: 9783540650126
PLILP/ALP
PLILP/ALP
This paper proposes an implementation of objects and functions via a calculus with explicit substitutions which is confluent and preserves strong normalization. The source calculus corresponds to the combination of the ς-calculus of Abadi and Cardel
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9d33f700f97571721fd74aef7f8e987d
https://doi.org/10.1007/bfb0056615
https://doi.org/10.1007/bfb0056615