Härmel Nestra

According to our database, Härmel Nestra authored at least 12 papers between 2002 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

ZK-SecreC: a Domain-Specific Language for Zero-Knowledge Proofs.

Dan Bogdanov, Joosep Jääger, Peeter Laud, Härmel Nestra, Martin Pettai, Jaak Randmets, Raul-Martin Rebane, Ville Sokk, Kert Tali, Sandhra-Mirella Valdma

Proceedings of the 37th IEEE Computer Security Foundations Symposium, 2024

2022

ZK-SecreC: a Domain-Specific Language for Zero Knowledge Proofs.

Dan Bogdanov, Joosep Jääger, Peeter Laud, Härmel Nestra, Martin Pettai, Jaak Randmets, Ville Sokk, Kert Tali, Sandhra-Mirella Valdma

CoRR, 2022

2020

Equational Reasoning for MTL Type Classes.

Härmel Nestra

CoRR, 2020

2019

Laws of Monadic Error Handling.

Härmel Nestra

Proceedings of the Theoretical Aspects of Computing - ICTAC 2019 - 16th International Colloquium, Hammamet, Tunisia, October 31, 2019

2018

Double Applicative Functors.

Härmel Nestra

Proceedings of the Theoretical Aspects of Computing - ICTAC 2018, 2018

2017

Alignment Elimination from Adams' Grammars.

Härmel Nestra

CoRR, 2017

Grammars for Indentation-Sensitive Parsing.

Härmel Nestra

Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science, 2017

2013

On Slicing of Programs with Input Statements.

Härmel Nestra

Proceedings of the Theoretical Aspects of Computing - ICTAC 2013, 2013

2009

Transfinite Semantics in the Form of Greatest Fixpoint.

Härmel Nestra

J. Log. Algebraic Methods Program., 2009

2006

Fractional Semantics.

Härmel Nestra

Proceedings of the Algebraic Methodology and Software Technology, 2006

2005

Transfinite Corecursion.

Härmel Nestra

Nord. J. Comput., 2005

2002

Framework for Studying Substitution.

Härmel Nestra

Acta Cybern., 2002