Calculating Datastructures

von Hinze, Ralf
Veröffentlicht in MPC (14. : 2022 : Tiflis) Mathematics of program construction (2022)

Trends in functional programming : 23rd International Symposium, TFP 2022, virtual event, March 17-18, 2022 : revised selected papers

Veröffentlicht 2022

Haskell'14 : proceedings of the 2014 ACM SIGPLAN Haskell Symposium ; September 4-5, 2014, Gothenburg, Sweden

Veröffentlicht 2014

Translation Certification for Smart Contracts

von Krijnen, Jacco O0. G.
Veröffentlicht in FLOPS (16. : 2022 : Online) Functional and logic programming (2022)