Searching for authors named "Jorge Sousa Pinto" – sorted by Relevance.
5 documents found, showing 1 through 5.
-
Parallel Evaluation of Interaction Nets with MPINE
- …Parallel Evaluation of Interaction Nets with MPINE Jorge Sousa Pinto ? Departamento de…
- Cited by 2 (0 self) – Add To MetaCart
-
Parallel Implementation Models for the lambda-calculus Using the Geometry of Interaction
- …Parallel Implementation Models for the -calculus Using the Geometry of Interaction Jorge Sousa…
- Cited by 4 (0 self) – Add To MetaCart
-
Compiling the lambda-calculus into Interaction Combinators
- …Compiling the -calculus into Interaction Combinators Ian Mackie and Jorge Sousa Pinto CNRS (UMR…
- Add To MetaCart
-
Combining Interaction Nets with Externally Defined Programs
- … Sousa Pinto DI-LIENS (UMR 8548) CNRS (UMR 7650), LIX Departamento de Inform'atica ' Ecole Normale Sup…
- Add To MetaCart
-
Point-free Program Transformation
- …A Framework for Point-free Program Transformation ⋆ Alcino Cunha, Jorge Sousa Pinto, and José…
- Cited by 6 (3 self) – Add To MetaCart
Showing 1 through 5.
