4 citations · 6 across the 6 of their papers we have counts for
8 papers
Haskell meets Evariste
Paulo R. Pereira, Jose N. Oliveira
Since its birth as a new scientific body of knowledge in the late 1950s, computer programming has become a fundamental skill needed in many other disciplines. However, programming…
First Steps towards K-12 Computer Science Education in Portugal -- Experience Report
Fernando Luis Neves, Jose Nuno Oliveira
Computer scientists Jeannette Wing and Simon Peyton Jones have catalyzed a pivotal discussion on the need to introduce computing in K-12 mandatory education. In Wing's own words, c…
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…
Typing linear algebra: A biproduct-oriented approach
Hugo Daniel Macedo, José N. Oliveira
Interested in formalizing the generation of fast running code for linear algebra applications, the authors show how an index-free, calculational approach to matrix algebra can be d…
Calculating risk in functional programming
Daniel Murta, Jose Nuno Oliveira
In the trend towards tolerating hardware unreliability, accuracy is exchanged for cost savings. Running on less reliable machines, "functionally correct" code becomes risky and one…
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…