1 citations · 1 across the 2 of their papers we have counts for
4 papers
Compiling quantamorphisms for the IBM Q Experience
Ana Neri, Rui Soares Barbosa, José N. Oliveira
Based on the connection between the categorical derivation of classical programs from specifications and the category-theoretic approach to quantum physics, this paper contributes…
Typed Linear Algebra for Efficient Analytical Querying
João M. Afonso, Gabriel D. Fernandes, João P. Fernandes +5
This paper uses typed linear algebra (LA) to represent data and perform analytical querying in a single, unified framework. The typed approach offers strong type checking (as in mo…
Programming from Metaphorisms
J. N. Oliveira
This paper presents a study of the metaphorism pattern of relational specification, showing how it can be refined into recursive programs. Metaphorisms express input-output relatio…
Functions as types or the "Hoare logic" of functional dependencies
Jose N. Oliveira
Inspired by the trend on unifying theories of programming, this paper shows how the algebraic treatment of standard data dependency theory equips relational data with functional ty…