E-LIB Suche - Ergebnisse für: Nogueira, Pablo

1

The full-reducing Krivine abstract machine KN simulates pur..:

GARCÍA-PÉREZ, ÁLVARO ; NOGUEIRA, PABLO
Journal of Functional Programming. 29 (2019) - p. , 2019

Link: https://doi.org/10.1017/..

2

Selected papers from Mathematics of Program Construction 20..:

Gibbons, Jeremy ; Nogueira, Pablo
Science of Computer Programming. 85 (2014) - p. 101 , 2014

Link: https://doi.org/10.1016/..

3

Deriving interpretations of the gradually-typed lambda calc..:

, In: Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation,

García-Pérez, Álvaro ; Nogueira, Pablo ; Sergey, Ilya - p. 157-168 , 2014

Link: https://dl.acm.org/doi/1..

4

A syntactic and functional correspondence between reduction..:

, In: Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation,

García-Pérez, Álvaro ; Nogueira, Pablo - p. 107-116 , 2013

Link: https://dl.acm.org/doi/1..

5

Deriving the full-reducing Krivine machine from the small-s..:

, In: Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming,

García-Pérez, Álvaro ; Nogueira, Pablo ; Moreno-Navarro, Juan José - p. 85-96 , 2013

Link: https://dl.acm.org/doi/1..

6

Mathematics of Program Construction

11th International Conference, MPC 2012, Madrid, Spain, Jun... Lecture Notes in Computer Science ; 7342;SpringerLink, Bücher

Gibbons, Jeremy ; Nogueira, Pablo , 2012

Link: https://doi.org/10.1007/..

7

Bialgebra views : a way for polytypic programming to coh..:

, In: Proceedings of the ACM SIGPLAN workshop on Generic programming,

Nogueira, Pablo ; Moreno-Navarro, Juan José - p. 61-73 , 2008

Link: https://dl.acm.org/doi/1..

8

Context-parametric polykinded types:

, In: Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming,

Nogueira, Pablo - p. 45-54 , 2006

Link: https://dl.acm.org/doi/1..

9

Luces y sombras en la implementación de la acción comunitar..:

Nogueira González, Pablo ; Gil González, Diana ; Álvarez-Dardet Díaz, Carlos
Gaceta Sanitaria. 38 (2024) - p. 102387 , 2024

Link: https://doi.org/10.1016/..

10

Sesgos en la edición científica e investigación cualitativa..:

Nogueira González, Pablo ; Marcos Marcos, Jorge
Gaceta Sanitaria. 37 (2023) - p. 102348 , 2023

Link: https://doi.org/10.1016/..

11

Cidades inteligentes e mobilidade urbana: atores e práticas..:

Nogueira, Pablo Renan Rodrigues ; De Paula, Silvio Luiz ; Santana, Stefany Barbosa de Lima...
Revista de Gestão e Secretariado (Management and Administrative Professional Review). 14 (2023) 4 - p. 5842-5865 , 2023

Link: https://doi.org/10.7769/..

12

Equivalence of eval-readback and eval-apply big-step evalua..:

Nogueira, Pablo ; García-Pérez, Álvaro
http://arxiv.org/abs/2212.02494. , 2022

Link: http://arxiv.org/abs/221..

13

Unesp Ciência, 2015, ano 6, número 60:

Nogueira, Pablo
Unesp Ciência. , 2015

Link: http://hdl.handle.net/11..

14

Unesp Ciência, 2014, ano 5, número 51:

Nogueira, Pablo
Unesp Ciência. , 2014

Link: http://hdl.handle.net/11..

15

Unesp Ciência, 2014, ano 5, número 53:

Nogueira, Pablo
Unesp Ciência. , 2014

Link: http://hdl.handle.net/11..