Idris, a general-purpose dependently typed programming language: Design and implementation 论文

2013Journal of Functional Programming引用 295
DOIPDF
Logic, programming, and type systemsSoftware Engineering ResearchAdvanced Software Engineering Methodologies
企业软件Software Engineering ResearchAdvanced Software Engineering MethodologiesLogic, programming, and type systems
相关技术:Advanced Software Engineering Methodologies
关系图谱

Idris, a general-purpose dependently typed programming language: Design and implementation · 相关文章

暂无数据