Eta Expansions in System F (1996)

by Neil Ghani
Venue:LIENS-DMI, Ecole Normale Superieure
Citations:6 - 0 self

Active Bibliography

13 Eta-Expansions in Dependent Type Theory - The Calculus of Constructions – Neil Ghani - 1997
Eta-Expansions III - F omega – Neil Ghani - 1996
25 Adjoint Rewriting – Neil Ghani - 1995
9 On the Power of Simple Diagrams – Roberto Di Cosmo - 1996
3 Reasoning about Layered, Wildcard and Product Patterns – Delia Kesner - 1994
22 Confluence Properties of Extensional and Non-Extensional lambda-Calculi with Explicit Substitutions (Extended Abstract) – Delia Kesner - 1996
12 Confluence of Extensional and Non-Extensional λ-calculi with Explicit Substitutions – Delia Kesner
betaeta-Equality for Coproducts – Neil Ghani - 1995
36 The Virtues of Eta-expansion – C. Barry Jay, Neil Ghani - 1993
Rewriting with Extensional Polymorphic λ-calculus – Roberto Di Cosmo, Delia Kesner - 1996
8 Combining Algebraic Rewriting, Extensional Lambda Calculi, and Fixpoints – Roberto Di Cosmo, Roberto Di, Delia Kesner
17 Simulating Expansions Without Expansions – Roberto Di Cosmo, Roberto Di Cosmo, Delia Kesner, Delia Kesner - 1993
3 A Confluent Reduction for the Extensional Typed Lambda-Calculus With Pairs, Sums, Recursion and Terminal Object – Roberto Di Cosmo, Delia Kesner - 1993
Syntactic Analysis of eta-Expansions – In Pure Type, Felix Joachimski
8 A Brief History of Rewriting With Extensionality – Roberto Di Cosmo, Ecole Normale Superieure, Roberto Di, Cosmo Glasgow, M) M - 1996
16 Combining First Order Algebraic Rewriting Systems, Recursion and Extensional Lambda Calculi – Roberto Di Cosmo, Delia Kesner - 1994
1 Reasoning about Redundant Patterns – Delia Kesner, Editorial Board, H. Ait-kaci, L. Augustsson, Ch. Brzoska, J. Darlington, Y. Guo, M. Hagiya, M. Hanus, T. Ida, J. Jaffar, B. Jayaraman, M. Kohler, A. Krall, H. Kuchen, J. Launchbury, J. Lloyd, A. Middeldorp, D. Miller, J. J. Moreno-navarro, L. Naish M. J. O'donnell, P. Padawitz, C. Palamidessi, F. Pfenning, D. Plaisted, R. Plasmeijer, U. Reddy, F. Silbermann, P. Van, Hentenryck D. S. Warren - 1997
39 Normalization by evaluation for typed lambda calculus with coproducts – T. Altenkirch, P. Dybjer - 2001
11 Expanding Extensional Polymorphism – Roberto Di Cosmo, Adolfo Piperno - 1995