BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
time (2)
expans (2)
theori (2)
type (2)
explicit (2)

Stem eta$ (all stems)

8 papers:

MSRMSR-2015-GoderieGGB #named #predict #stack overflow
ETA: Estimated Time of Answer Predicting Response Time in Stack Overflow (JG, BMG, BvG, AB), pp. 414–417.
ICEISICEIS-v3-2014-DionisioT #assessment #enterprise #framework
ETA Framework — Enterprise Transformation Assessment (RD, JT), pp. 190–200.
SEKESEKE-2008-BuchwalderP #modelling #named
MEtaGile: A Pragmatic Domain-specific Modeling Environment (OB, CP), pp. 764–768.
POPLPOPL-2005-Goguen #approach #similarity #type system
A syntactic approach to eta equality in type theory (HG), pp. 75–84.
TLCATLCA-1997-Ghani #calculus #dependent type #type system
Eta-Expansions in Dependent Type Theory — The Calculus of Constructions (NG), pp. 164–180.
An explicit Eta rewrite rule (DB), pp. 94–108.
PEPMPEPM-1994-DanvyMP #partial evaluation
The Essence of Eta-Expansion in Partial Evaluation (OD, KM, JP), pp. 11–20.
Eta-conversion for the Languages of Explicit Substitutions (TH), pp. 306–321.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.