- CSB - MetaPress - Google - Bing - Yahoo
 | 2008 | |
|---|---|---|
| 3 |      | José N. Oliveira: Extended Static Checking by Calculation Using the Pointfree Transform. LerNet ALFA Summer School 2008: 195-251 |
| 2007 | ||
| 2 | | José N. Oliveira: Transforming Data by Calculation. GTTSE 2007: 134-195 |
| 1999 | ||
| 1 |  | S. Doaitse Swierstra, Pedro Rangel Henriques, José N. Oliveira: Advanced Functional Programming, Third International School, Braga, Portugal, September 12-19, 1998, Revised Lectures Springer 1999 |
| 1 | Pedro Rangel Henriques | [1] |
| 2 | S. Doaitse Swierstra | [1] |