Elena Machkasova

Publication Activity (10 Years)

Years Active: 2000-2023
Publications (10 Years): 2

Top Topics

International Workshop

Revised Selected Papers

Lambda Calculus

Top Venues

Log. Methods Comput. Sci.

Publications

Elena Machkasova
Proceedings Twelfth International Workshop on Trends in Functional Programming in Education. CoRR (2023)
Manfred Schmidt-Schauß, David Sabel, Elena Machkasova
Simulation in the Call-by-Need Lambda-Calculus with Letrec, Case, Constructors, and Seq. Log. Methods Comput. Sci. 11 (1) (2015)
Manfred Schmidt-Schauß, Elena Machkasova, David Sabel
Extending Abramsky's Lazy Lambda Calculus: (Non)-Conservativity of Embeddings. RTA (2013)
Manfred Schmidt-Schauß, David Sabel, Elena Machkasova
Counterexamples to applicative simulation and extensionality in non-deterministic call-by-need lambda-calculi with letrec. Inf. Process. Lett. 111 (14) (2011)
Manfred Schmidt-Schauß, David Sabel, Elena Machkasova
Simulation in the Call-by-Need Lambda-Calculus with letrec. RTA (2010)
Elena Machkasova, Kevin Arhelger, Fernando Trinciante
The observer effect of profiling on dynamic Java optimizations. OOPSLA Companion (2009)
Manfred Schmidt-Schauß, Elena Machkasova
A Finite Simulation Method in a Non-deterministic Call-by-Need Lambda-Calculus with Letrec, Constructors, and Case. RTA (2008)
Elena Machkasova
Computational Soundness of a Call by Name Calculus of Recursively-scoped Records. Electron. Notes Theor. Comput. Sci. 204 (2008)
Eli Mayfield, John Kyle Roth, Daniel Selifonov, Nathan Dahlberg, Elena Machkasova
Optimizing java programs using generic types. OOPSLA Companion (2007)
Elena Machkasova, Franklyn A. Turbak
A Calculus for Link-Time Compilation. ESOP (2000)