Rowan Davies
- A modal analysis of staged computation
2001/05/01 by Rowan Davies, Frank Pfenning · 4 citations
Computer Science · #Logic, programming, and type systems #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies #Correctness #Computer science #Programming language #Computation #Functional programming #Fragment (logic) #Modal #Context (archaeology) #Modal logic #Code (set theory) #Theoretical computer science #Algorithm