选择性：选择性应用函子：静态声明效果，选择要动态执行的效果
需积分: 5 75 浏览量
2021-02-04
03:32:11
上传
评论
收藏 249KB ZIP 举报
selective-master.zip （61个子文件） 
selective-master paper 
3-static.tex 11KB 5-free.tex 26KB todo.md 4KB 4-haxl.tex 10KB refs.bib 14KB artefact Dockerfile 2KB README-ACMDL.md 3KB README.md 3KB irc-log-branchy.md 29KB 1-intro.tex 8KB 2-selective.tex 38KB 8-conclusions.tex 750B acmart.cls 95KB 7-related.tex 10KB
cover-letter.txt 1KB .gitignore 2KB response.md 6KB ACM-Reference-Format.bst 82KB main.tex 6KB Makefile 321B fig 
add.pdf 10KB jumpZero.pdf 9KB comment-haxl-applicative.pdf 8KB addAndJump.pdf 16KB
comment-haxl-selective-1.svg 7KB comment-haxl-monad.svg 7KB comment-haxl-monad.pdf 10KB comment-haxl-selective-2.pdf 6KB comment-haxl-selective-1.pdf 9KB addAndJump.svg 18KB build-dependencies.svg 20KB comment-haxl-applicative.svg 6KB jumpZero.svg 9KB build-dependencies.pdf 12KB comment-haxl-selective-2.svg 6KB add.svg 13KB 6-alternatives.tex 9KB hie.yaml 19B .github workflows ci.yml 985B test Laws.hs 6KB Sketch.hs 24KB Main.hs 17KB stack.yaml 45B .ghci 266B LICENSE 1KB selective.cabal 3KB src Control Selective.hs 20KB Selective Multi.hs 10KB Free.hs 3KB Rigid Free.hs 5KB Freer.hs 4KB CHANGES.md 549B examples Parser.hs 1KB Teletype.hs 2KB Build.hs 4KB Validation.hs 1KB Processor.hs 10KB Query.hs 2KB Teletype Rigid.hs 2KB .gitignore 235B README.md 10KB资源评论
