BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Germany
1 × The Netherlands
1 × United Kingdom
Collaborated with:
M.Schmidt-Schauß D.Sabel F.A.Turbak
Talks about:
calculus (4) letrec (2) simul (2) need (2) call (2) non (2) determinist (1) constructor (1) abramski (1) conserv (1)

Person: Elena Machkasova

DBLP DBLP: Machkasova:Elena

Contributed to:

RTA 20132013
RTA 20102010
RTA 20082008
ESOP 20002000

Wrote 4 papers:

RTA-2013-Schmidt-SchaussMS #lazy evaluation #λ-calculus
Extending Abramsky’s Lazy λ Calculus: (Non)-Conservativity of Embeddings (MSS, EM, DS), pp. 239–254.
RTA-2010-Schmidt-SchaussSM #call-by #simulation #λ-calculus
Simulation in the Call-by-Need λ-Calculus with letrec (MSS, DS, EM), pp. 295–310.
RTA-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.
ESOP-2000-MachkasovaT #calculus #compilation
A Calculus for Link-Time Compilation (EM, FAT), pp. 260–274.

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.