Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages 论文

2009Journal of Functional Programming引用 268
DOIPDF
Logic, programming, and type systemsSoftware Engineering ResearchFormal Methods in Verification
企业软件Software Engineering ResearchLogic, programming, and type systemsFormal Methods in Verification
相关技术:Formal Methods in Verification
关系图谱

Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages · 相关技术

相关技术

Formal Methods in Verification