( en | de | ru )

 

Disambiguierung von "López, Pablo E. Martínez"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Principal type specialisation.

, und . ASIA-PEPM, Seite 94-105. ACM, (2002)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Benjamín Martínez López

Daniel López Martínez

Alejandro Martínez López-Portillo

Leopoldo López Martínez Alva

Pablo Guel-López

 

Weitere Publikationen von Autoren mit dem selben Namen

Explicit Substitutions for Objects and Functions, und . J. Funct. Log. Program., (1999)A Functional Programming Approach to Hypermedia Authoring., , und . ICFP, Seite 346. ACM, (1998)SIGPLAN Notices 34(1), January 1999.The GOBSTONES method for teaching computer programming., , , und . CLEI, Seite 1-9. IEEE, (2017)Fork Algebraic Datatypes., und . Logic Journal of the IGPL, 6 (4): 531-543 (1998)Principal type specialisation., und . ASIA-PEPM, Seite 94-105. ACM, (2002)Developing DSLs using combinators. A design pattern., und . IMCSIT, Seite 635-642. IEEE, (2009)From Specifications to Programs: A Fork-Algebraic Approach to Bridge the Gap., , , und . MFCS, Volume 1113 von Lecture Notes in Computer Science, Seite 180-191. Springer, (1996)HyCom: A Domain Specific Language for Hypermedia Application Development., , und . HICSS, IEEE Computer Society, (2001)Explicit Substitutions for Objects and Functions., und . PLILP/ALP, Volume 1490 von Lecture Notes in Computer Science, Seite 195-212. Springer, (1998)Polymorphic System I., , und . IFL, Seite 127-137. ACM, (2020)