7 citations · 7 across the 3 of their papers we have counts for
3 papers
cs.PL2023
Proceedings Twelfth International Workshop on Trends in Functional Programming in Education
Elena Machkasova
This volume contains the papers, accepted after post-reviewing, based on presentations submitted to TFPIE 2023 that took place at UMAss Boston in Boston, Massachusetts, USA on Janu…
cs.PL2022
Proceedings Tenth and Eleventh International Workshop on Trends in Functional Programming In Education
Peter Achten, Elena Machkasova
This volume contains the papers, accepted after post-reviewing, based on presentations submitted to TFPIE 2021 and TFPIE 2022 that took place online, in collaboration with LambdaDa…
cs.LO2015★ 7 cited
Simulation in the Call-by-Need Lambda-Calculus with Letrec, Case, Constructors, and Seq
Manfred Schmidt-Schauß, David Sabel, Elena Machkasova
This paper shows equivalence of several versions of applicative similarity and contextual approximation, and hence also of applicative bisimilarity and contextual equivalence, in L…