3 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.PL2019
Programming with Applicative-like expressions
Jan Malakhovski, Sergei Soloviev
The fact that Applicative type class allows one to express simple parsers in a variable-less combinatorial style is well appreciated among Haskell programmers for its conceptual si…
cs.LO2011★ 3 cited
Typed lambda-terms in categorical attributed graph transformation
Bertrand Boisvert, Louis Féraud, Sergei Soloviev
This paper deals with model transformation based on attributed graph rewriting. Our contribution investigates a single pushout approach for applying the rewrite rules. The computat…