A modal analysis of staged computation
Journal of the ACM (JACM)
Directions in Functional Programming for Real(-Time) Applications
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Linear Ramified Higher Type Recursion and Parallel Complexity
PTCS '01 Proceedings of the International Seminar on Proof Theory in Computer Science
Heap-Bounded Assembly Language
Journal of Automated Reasoning
Realizability models for BLL-like languages
Theoretical Computer Science - Implicit computational complexity
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
TLCA'01 Proceedings of the 5th international conference on Typed lambda calculi and applications
Efficient first order functional program interpreter with time bound certifications
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
A characterization of NCk by first order functional programs
TAMC'08 Proceedings of the 5th international conference on Theory and applications of models of computation
A characterization of alternating log time by first order functional programs
LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Space-Efficient computation by interaction
CSL'06 Proceedings of the 20th international conference on Computer Science Logic
| Hi-index | 0.00 |