Frank)

Identifiers

• name variant Frank) 0.60 · backfill

Papers (1)

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

Mentions

• 1502.03216 #4 · backfill · confidence 0.70 Frank)

Frequent Coauthors

• David Sabel (Dept. Informatik und Mathematik 1 shared papers
• Elena Machkasova (Division of Science 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