Pablo Nogueira
Orcid: 0000-0002-8706-0027
According to our database1,
Pablo Nogueira
authored at least 12 papers
between 2006 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
Equivalence of eval-readback and eval-apply big-step evaluators by regimentation of the lambda-calculus's strategy space.
CoRR, 2022
2019
The full-reducing Krivine abstract machine KN simulates pure normal-order reduction in lockstep: A proof via corresponding calculus.
J. Funct. Program., 2019
2016
2014
Sci. Comput. Program., 2014
On the syntactic and functional correspondence between hybrid (or layered) normalisers and abstract machines.
Sci. Comput. Program., 2014
Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, 2014
2013
Deriving the full-reducing Krivine machine from the small-step operational semantics of normal order.
Proceedings of the 15th International Symposium on Principles and Practice of Declarative Programming, 2013
A syntactic and functional correspondence between reduction semantics and reduction-free full normalisers.
Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, 2013
2011
2008
Proceedings of the ACM SIGPLAN Workshop on Generic Programming, 2008
2006
When is an abstract data type a functor?
Proceedings of the Revised Selected Papers from the Seventh Symposium on Trends in Functional Programming, 2006
Proceedings of the ACM SIGPLAN Workshop on Generic Programming, 2006