Härmel Nestra

Publication Activity (10 Years)

Years Active: 2002-2022
Publications (10 Years): 6

Top Topics

Stochastic Grammar

Probabilistic Context Free Grammars

Top Venues

Publications

Dan Bogdanov, Joosep Jääger, Peeter Laud, Härmel Nestra, Martin Pettai, Jaak Randmets, Ville Sokk, Kert Tali, Sandhra-Mirella Valdma
ZK-SecreC: a Domain-Specific Language for Zero Knowledge Proofs. CoRR (2022)
Härmel Nestra
Equational Reasoning for MTL Type Classes. CoRR (2020)
Härmel Nestra
Laws of Monadic Error Handling. ICTAC (2019)
Härmel Nestra
Double Applicative Functors. ICTAC (2018)
Härmel Nestra
Alignment Elimination from Adams' Grammars. CoRR (2017)
Härmel Nestra
Grammars for Indentation-Sensitive Parsing. MFCS (2017)
Härmel Nestra
On Slicing of Programs with Input Statements. ICTAC (2013)
Härmel Nestra
Transfinite Semantics in the Form of Greatest Fixpoint. J. Log. Algebraic Methods Program. 78 (7) (2009)
Härmel Nestra
Fractional Semantics. AMAST (2006)
Härmel Nestra
Transfinite Corecursion. Nord. J. Comput. 12 (2) (2005)
Härmel Nestra
Framework for Studying Substitution. Acta Cybern. 15 (4) (2002)