Jacco Krijnen

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 1

Top Topics

Conceptual Model

Application Specific

Markup Language

Top Venues

Publications

Polina Vinogradova, Orestis Melkonian, Philip Wadler, Manuel M. T. Chakravarty, Jacco Krijnen, Michael Peyton Jones, James Chapman, Tudor Ferariu
Structured Contracts in the EUTxO Ledger Model. FMBC@CAV (2024)
Jacco Krijnen, S. Doaitse Swierstra, Marcos Viera
Expand: Towards an Extensible Pandoc System. PADL (2014)