Skip to Main content Skip to Navigation


...
tel-00010546v1  Theses
Benjamin Wack. Typage et déduction dans le calcul de réécriture
Autre [cs.OH]. Université Henri Poincaré - Nancy I, 2005. Français
tel-01746546v1  Theses
Benjamin Wack. Typage et déduction dans le calcul de réécriture
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2005. Français. ⟨NNT : 2005NAN10119⟩
...
inria-00000817v1  Conference papers
Horatiu CirsteaClaude KirchnerLuigi LiquoriBenjamin Wack. Decidable Type Inference for the Polymorphic Rewriting Calculus
17è Journées Francophones des Langages Applicatifs - JFLA 2006, Jan 2006, Pauillac, France. pp.57-69
...
inria-00099418v1  Reports
Benjamin Wack. Aspects typés du calcul de réécriture
[Stage] A02-R-175 || wack02a, 2002, 44 p
inria-00100109v1  Conference papers
Benjamin Wack. The Simply-typed Pure Pattern Type System Ensures Strong Normalization
3rd IFIP International Conference on Theoretical Computer Science - TCS'2004, Jean-Jacques Lévy, 2004, Toulouse, France, pp.633-646
...
inria-00186815v1  Journal articles
Benjamin WackClement Houtmann. Strong Normalization in two Pure Pattern Type Systems
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2008, Rewriting calculi, higher-order reductions and patterns, 18 (3), pp.431-465. ⟨10.1017/S0960129508006749⟩
inria-00110867v1  Conference papers
Horatiu CirsteaClement HoutmannBenjamin Wack. Distributive rewriting calculus
Sixth International Workshop on Reduction Strategies in Rewriting and Programming, Apr 2006, Vienna, Austria. pp.95-111
...
inria-00099910v1  Conference papers
Luigi LiquoriBenjamin Wack. The Polymorphic Rewriting Calculus: Type checking vs. Type inference
Proceedings of the Fifth International Workshop on Rewriting Logic and Its Applications (WRLA 2004) Rewriting Logic and Its Applications 2004, Narciso Marti-Oliet, Mar 2004, Barcelona, Spain. pp.89-111, ⟨10.1016/j.entcs.2004.06.027⟩
...
inria-00100113v1  Conference papers
Horatiu CirsteaLuigi LiquoriBenjamin Wack. Rewriting Calculus with Fixpoints: Untyped and First-order Systems
Types for Proofs and Programs International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers, Apr 2003, Turin, Italy. pp.147-161, ⟨10.1007/978-3-540-24849-1_10⟩
...
inria-00099586v1  Conference papers
Horatiu CirsteaClaude KirchnerLuigi LiquoriBenjamin Wack. Rewrite Strategies in the Rewriting Calculus
WRS 2003, 3rd International Workshop on Reduction Strategies in Rewriting and Programming - Final Proceedings, Jun 2003, Valencia, Spain. pp.593-624, ⟨10.1016/S1571-0661(05)82613-1⟩
...
inria-00099411v1  Conference papers
Horatiu CirsteaClaude KirchnerLuigi LiquoriBenjamin Wack. The rho cube : some results, some problems
First International Workshop on Higher-Order Rewriting Copenhagen, Denmark, July 21st, 2002 Affiliated with RTA 2002, D. Kesner, T. Nipkow and F. van Raamsdonk, Jul 2002, Copenhague, Denmark