Stem eta$ (all stems)

8 papers:

MSR-2015-GoderieGGB #named #predict #stack overflow

ETA: Estimated Time of Answer Predicting Response Time in Stack Overflow (JG, BMG, BvG, AB), pp. 414–417.

ICEIS-v3-2014-DionisioT #assessment #enterprise #framework

ETA Framework — Enterprise Transformation Assessment (RD, JT), pp. 190–200.

SEKE-2008-BuchwalderP #modelling #named

MEtaGile: A Pragmatic Domain-specific Modeling Environment (OB, CP), pp. 764–768.

POPL-2005-Goguen #approach #similarity #type system

A syntactic approach to eta equality in type theory (HG), pp. 75–84.

TLCA-1997-Ghani #calculus #dependent type #type system

Eta-Expansions in Dependent Type Theory — The Calculus of Constructions (NG), pp. 164–180.

TLCA-1995-Briaud

An explicit Eta rewrite rule (DB), pp. 94–108.

PEPM-1994-DanvyMP #partial evaluation

The Essence of Eta-Expansion in Partial Evaluation (OD, KM, JP), pp. 11–20.

ALP-1992-Hardin

Eta-conversion for the Languages of Explicit Substitutions (TH), pp. 306–321.