Härmel Nestra

12 papers A 1B 1C 3Journal 6Unranked 1
YearRankTypeTitle / Venue / Authors
2024 A conf
ZK-SecreC: a Domain-Specific Language for Zero-Knowledge Proofs.
CSF
Dan Bogdanov, Joosep Jääger, Peeter Laud, Härmel Nestra, Martin Pettai, Jaak Randmets, Raul-Martin Rebane, Ville Sokk, Kert Tali, Sandhra-Mirella Valdma
2022 J jnl
ZK-SecreC: a Domain-Specific Language for Zero Knowledge Proofs.
CoRR
Dan Bogdanov, Joosep Jääger, Peeter Laud, Härmel Nestra, Martin Pettai, Jaak Randmets, Ville Sokk, Kert Tali, Sandhra-Mirella Valdma
2020 J jnl
Equational Reasoning for MTL Type Classes.
CoRR
Härmel Nestra
2019 C conf
Laws of Monadic Error Handling.
ICTAC
Härmel Nestra
2018 C conf
Double Applicative Functors.
ICTAC
Härmel Nestra
2017 J jnl
Alignment Elimination from Adams' Grammars.
CoRR
Härmel Nestra
2017 B conf
Grammars for Indentation-Sensitive Parsing.
MFCS
Härmel Nestra
2013 C conf
On Slicing of Programs with Input Statements.
ICTAC
Härmel Nestra
2009 J jnl
Transfinite Semantics in the Form of Greatest Fixpoint.
J. Log. Algebraic Methods Program.
Härmel Nestra
2006 — conf
Fractional Semantics.
AMAST
Härmel Nestra
2005 J jnl
Transfinite Corecursion.
Nord. J. Comput.
Härmel Nestra
2002 J jnl
Framework for Studying Substitution.
Acta Cybern.
Härmel Nestra