Jacco Krijnen

According to our database, Jacco Krijnen authored at least 3 papers between 2014 and 2024.

Collaborative distances:

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

2024

Translation certification for smart contracts.

Jacco O. G. Krijnen, Manuel M. T. Chakravarty, Gabriele Keller, Wouter Swierstra

Sci. Comput. Program., 2024

Structured Contracts in the EUTxO Ledger Model.

Polina Vinogradova, Orestis Melkonian, Philip Wadler, Manuel M. T. Chakravarty, Jacco Krijnen, Michael Peyton Jones, James Chapman, Tudor Ferariu

Proceedings of the 5th International Workshop on Formal Methods for Blockchains, 2024

2014

Expand: Towards an Extensible Pandoc System.

Jacco Krijnen, S. Doaitse Swierstra, Marcos Viera

Proceedings of the Practical Aspects of Declarative Languages, 2014