GitHub - ashinkarov/2021-extraction-paper: Paper about Extraction of Shallowly-embedded DSLs using Agda's reflection mechanisms

ashinkarov / 2021-extraction-paper Public

Paper about Extraction of Shallowly-embedded DSLs using Agda's reflection mechanisms

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 89 Commits
agda-extractor		agda-extractor
ACM-Reference-Format.bst		ACM-Reference-Format.bst
APL2.agda		APL2.agda
Makefile		Makefile
acmart.cls		acmart.cls
aplcnn.lagda		aplcnn.lagda
arraylang.lagda		arraylang.lagda
background.lagda		background.lagda
conclusions.tex		conclusions.tex
kaleidoskope.lagda		kaleidoskope.lagda
paper.bib		paper.bib
paper.tex		paper.tex
related.lagda		related.lagda
related.tex		related.tex
review-response.md		review-response.md