chiaki-i/ochacaml4d-instruction

Implementation of Delimited control operators' Abstract Machine (DAM), which extends ZINC Abstract Machine

语言：OCaml · GitHub 星标：3 · Fork：0

话题：abstract-machine · delimited-continuation

在 GitHub 上查看原仓库