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: Machkasova:Elena
Contributed to:
201320102008
2000Wrote 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.