We stand with Ukraine  

Härmel Nestra

Orcid: 0000-0001-7050-7171

According to our database1, Härmel Nestra authored at least 11 papers between 2002 and 2022.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
ZK-SecreC: a Domain-Specific Language for Zero Knowledge Proofs.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Härmel Nestra
CoRR, 2020

2019
Laws of Monadic Error Handling.
[BibTeX]
[DOI]
Härmel Nestra
Proceedings of the Theoretical Aspects of Computing - ICTAC 2019 - 16th International Colloquium, Hammamet, Tunisia, October 31, 2019

2018
Double Applicative Functors.
[BibTeX]
[DOI]
Härmel Nestra
Proceedings of the Theoretical Aspects of Computing - ICTAC 2018, 2018

2017
Alignment Elimination from Adams' Grammars.
[BibTeX]
[DOI]
Härmel Nestra
CoRR, 2017

Grammars for Indentation-Sensitive Parsing.
[BibTeX]
[DOI]
Härmel Nestra
Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science, 2017

2013
On Slicing of Programs with Input Statements.
[BibTeX]
[DOI]
Härmel Nestra
Proceedings of the Theoretical Aspects of Computing - ICTAC 2013, 2013

2009
Transfinite Semantics in the Form of Greatest Fixpoint.
[BibTeX]
[DOI]
Härmel Nestra
J. Log. Algebraic Methods Program., 2009

2006
Fractional Semantics.
[BibTeX]
[DOI]
Härmel Nestra
Proceedings of the Algebraic Methodology and Software Technology, 2006

2005
Transfinite Corecursion.
[BibTeX]
Härmel Nestra
Nord. J. Comput., 2005

2002
Framework for Studying Substitution.
[BibTeX]
[DOI]
Härmel Nestra
Acta Cybern., 2002


  Loading...