Urban, Christian
- Mechanizing the Metatheory of LF
2008/04/10 by Christian Urban, Urban, Christian, James Cheney +3 · 1 citation
Computer Science · #F.4.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Semantic Web and Ontologies
- Modelling homogeneous generative meta-programming
2016/02/21 by Martin Berger, Berger, Martin, Laurence Tratt +3 · 1 citation
Computer Science · #Advanced Software Engineering Methodologies #D.3.3 #FOS: Computer and information sciences #Logic, programming, and type systems #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL)