1 citations · 2 across the 3 of their papers we have counts for
3 papers
cs.PL2009★ 1 cited
Iterators, Recursors and Interaction Nets
Ian Mackie, Jorge Sousa Pinto, Miguel Vilaca
We propose a method for encoding iterators (and recursion operators in general) using interaction nets (INs). There are two main applications for this: the method can be used to ob…
cs.LO2008
Lissom, a Source Level Proof Carrying Code Platform
Joao Gomes, Daniel Martins, Simao Melo de Sousa +1
This paper introduces a proposal for a Proof Carrying Code (PCC) architecture called Lissom. Started as a challenge for final year Computing students, Lissom was thought as a mean…
cs.DS2008★ 1 cited
Deriving Sorting Algorithms
José Bacelar Almeida, Jorge Sousa Pinto
This paper proposes new derivations of three well-known sorting algorithms, in their functional formulation. The approach we use is based on three main ingredients: first, the algo…