Searching for authors named "Luc Maranget" – sorted by Relevance.
17 documents found, showing 1 through 10.
Next 10 →
-
Compiling Lazy Pattern Matching
- …Compiling Lazy Pattern Matching Luc Maranget 1 Introduction Pattern matching is a key feature…
- Cited by 8 (3 self) – Add To MetaCart
-
GAML: a Parallel Implementation of Lazy ML
- …1 GAML: a Parallel Implementation of Lazy ML Luc Maranget Abstract We present a new parallel…
- Cited by 12 (2 self) – Add To MetaCart
-
Optimal Derivations in Weak Lambda-calculi and in Orthogonal Terms Rewriting Systems.
- …Optimal Derivations in Weak Lambda-calculi and in Orthogonal Terms Rewriting Systems. Luc Maranget…
- Cited by 34 (0 self) – Add To MetaCart
-
Explicit Substitutions and Programming Languages
- …Explicit Substitutions and Programming Languages Jean-Jacques Lévy and Luc Maranget INRIA…
- Cited by 4 (1 self) – Add To MetaCart
-
Two Techniques for Compiling Lazy Pattern Matching
- … AUTOMATIQUE Two Techniques for Compiling Lazy Pattern Matching Luc Maranget N 2385 Octobre 1994 PROGRAMME 2…
- Cited by 9 (1 self) – Add To MetaCart
-
H E V E A User Documentation
- …H E V E A User Documentation Version 1.07 Luc Maranget November 7, 2003 Abstract H E V E A is a…
- Cited by 1 (0 self) – Add To MetaCart
-
Functional Back-Ends within the Lambda-Sigma Calculus
- … Functional Back-Ends within the Lambda-Sigma Calculus Th'er`ese Hardin, Luc Maranget, Bruno Pagano N 3034…
- Add To MetaCart
-
Functional Back-Ends within the Lambda-Sigma Calculus
- …Functional Back-Ends within the Lambda-Sigma Calculus Therese Hardin y , Luc Maranget y…
- Cited by 18 (0 self) – Add To MetaCart
-
Sharing in the weak lambda-calculus
- …Sharing in the weak lambda-calculus Tomasz Blanc, Jean-Jacques Lévy, and Luc Maranget INRIA…
- Cited by 3 (1 self) – Add To MetaCart
-
Inheritance in the Join Calculus (Extended Abstract)
- …Inheritance in the Join Calculus (extended abstract) Cedric Fournet 1 , Cosimo Laneve 2 , Luc…
- Cited by 2 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
