Elena Machkasova (Division of Science

Identifiers

• name variant Elena Machkasova (Division of Science 0.60 · backfill

Papers (1)

1. Simulation in the Call-by-Need Lambda-Calculus with Letrec, Case, Constructors, and Seq cs.LO · 2015 · author #9

Mentions

• 1502.03216 #9 · backfill · confidence 0.70 Elena Machkasova (Division of Science

Frequent Coauthors

• David Sabel (Dept. Informatik und Mathematik 1 shared papers
• Frank) 1 shared papers
• Inst. Informatik 1 shared papers
• J.W. Goethe-University 1 shared papers
• Manfred Schmidt-Schau{\ss} (Dept. Informatik und Mathematik 1 shared papers
• Mathematics 1 shared papers
• MN 1 shared papers
• Morris 1 shared papers
• University of Minnesota 1 shared papers
• U.S.A) 1 shared papers