Jorge Sousa Pinto

Identifiers

• name variant Jorge Sousa Pinto 0.60 · backfill

Papers (4)

1. A Single-Assignment Translation for Annotated Programs cs.LO · 2016 · author #3
2. Iterators, Recursors and Interaction Nets cs.PL · 2009 · author #2
3. Lissom, a Source Level Proof Carrying Code Platform cs.LO · 2008 · author #4
4. Deriving Sorting Algorithms cs.DS · 2008 · author #2

Mentions

• 0910.3321 #2 · backfill · confidence 0.70 Jorge Sousa Pinto
• 0803.2317 #4 · backfill · confidence 0.70 Jorge Sousa Pinto
• 0802.3881 #2 · backfill · confidence 0.70 Jorge Sousa Pinto

Frequent Coauthors

• Cl\'audio Belo Louren\c{c}o 1 shared papers
• Daniel Martins 1 shared papers
• Ian Mackie 1 shared papers
• Joao Gomes 1 shared papers
• Jos\'e Bacelar Almeida 1 shared papers
• Maria Jo\~ao Frade 1 shared papers
• Miguel Vilaca 1 shared papers
• Simao Melo de Sousa 1 shared papers