morphisms-of-computational-structures icon indicating copy to clipboard operation
morphisms-of-computational-structures copied to clipboard

Published 20 hours ago • verified publisher icon prathyvsh

Investigate different encoding schemes

Open prathyvsh opened this issue 4 years ago • 1 comments

http://okmij.org/ftp/tagless-final/course/Boehm-Berarducci.html

prathyvsh avatar Sep 15 '20 16:09 prathyvsh

Parigot encoding: https://link.springer.com/content/pdf/10.1007/3-540-19027-9_10.pdf

prathyvsh avatar Sep 15 '20 17:09 prathyvsh