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:
calculus (3)
simul (2)
call (2)
need (2)
calculi (1)

Stem letrec$ (all stems)

4 papers:

ICFPICFP-2014-GrabmayerR #λ-calculus
Maximal sharing in the λ calculus with letrec (CG, JR), pp. 67–80.
RTARTA-2010-Schmidt-SchaussSM #call-by #simulation #λ-calculus
Simulation in the Call-by-Need λ-Calculus with letrec (MSS, DS, EM), pp. 295–310.
RTARTA-2008-Schmidt-SchaussM #call-by #finite #nondeterminism #simulation #λ-calculus
A Finite Simulation Method in a Non-deterministic Call-by-Need λ-Calculus with Letrec, Constructors, and Case (MSS, EM), pp. 321–335.
RTARTA-2007-Schmidt-Schauss #calculus #correctness
Correctness of Copy in Calculi with Letrec (MSS), pp. 329–343.

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.