Pablo Nogueira
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2006–2014
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | PEPM | Deriving interpretations of the gradually-typed lambda calculus. | lvaro Garca-Prez, Pablo Nogueira, Ilya Sergey |
| 2013 | PEPM | A syntactic and functional correspondence between reduction semantics and reduction-free full normalisers. | lvaro Garca-Prez, Pablo Nogueira |
| 2013 | PPDP | Deriving the full-reducing Krivine machine from the small-step operational semantics of normal order. | lvaro Garca-Prez, Pablo Nogueira, Juan Jos Moreno-Navarro |
| 2008 | ICFP | Bialgebra views: a way for polytypic programming to cohabit with data abstraction. | Pablo Nogueira, Juan Jos Moreno-Navarro |
| 2006 | ICFP | Context-parametric polykinded types. | Pablo Nogueira |