R.C. Backhouse and J.N. Oliveira. On difunctions. JLAMP, volume 134, p. 100878, 2023.
J.N. Oliveira. Why Adjunctions Matter - a Functional Programmer Perspective. LNCS, volume 13710, 25–59 (2023).
A. Neri, R.S. Barbosa, and J.N. Oliveira. Compiling quantamorphisms for the IBM Q-Experience. In IEEE Transactions on Software Engineering, Volume: 48, Issue: 11, 01 November 2022. DOI: 10.1109/TSE.2021.3117515.
P. Silva, J.N. Oliveira, N. Macedo and A. Cunha. Quantitative relational modelling with QAlloy. Proc. of ESEC/FSE 2022, Association for Computing Machinery, Inc (ACM), pp. 885-896.
H.D. Macedo and J.N. Oliveira. Typing Linear Algebra: a Biproduct-oriented Approach. Science of Comp. Programming. Volume 78, pp.2160-2191, 2012 (DOI:10.1016/j.scico.2012.07.012).