Regular types for active objects
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
A logical framework for software proof reuse
SSR '95 Proceedings of the 1995 Symposium on Software reusability
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
Should your specification language be typed
ACM Transactions on Programming Languages and Systems (TOPLAS)
Reference Frames for Spatial Inference in Text Understanding
Spatial Cognition, An Interdisciplinary Approach to Representing and Processing Spatial Knowledge
Well-Typed Logic Programs Are not Wrong
FLOPS '01 Proceedings of the 5th International Symposium on Functional and Logic Programming
Quotient Types: A Modular Approach
TPHOLs '02 Proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics
Changing Data Structures in Type Theory: A Study of Natural Numbers
TYPES '00 Selected papers from the International Workshop on Types for Proofs and Programs
Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping
FST TCS 2000 Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science
Markov's Principle for Propositional Type Theory
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
A constructive approach to state description semantics
Journal of Applied Logic
Extracting information from intermediate semiconstructive HA-systems – extended abstract
Mathematical Structures in Computer Science
A Mechanized Proof of the Basic Perturbation Lemma
Journal of Automated Reasoning
Probabilistic modelling, inference and learning using logical theories
Annals of Mathematics and Artificial Intelligence
Safe functional reactive programming through dependent types
Proceedings of the 14th ACM SIGPLAN international conference on Functional programming
Convincing Proofs for Program Certification
Electronic Notes in Theoretical Computer Science (ENTCS)
A language for implementing arbitrary logics
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 2
Towards the Specification of Recursive Multi-agent Systems Using Type Theory
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
An Approach to Nondeterminism in Translation of CZ Set Theory into Martin-Löf 's Theory of Types
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal proof of provable security by game-playing in a proof assistant
ProvSec'07 Proceedings of the 1st international conference on Provable security
A computer-verified monadic functional implementation of the integral
Theoretical Computer Science
A Tutorial Implementation of a Dependently Typed Lambda Calculus
Fundamenta Informaticae - Dependently Typed Programming
A typed specification for security protocols
DNCOCO'06 Proceedings of the 5th WSEAS international conference on Data networks, communications and computers
Typing haskell with an attribute grammar
AFP'04 Proceedings of the 5th international conference on Advanced Functional Programming
Hi-index | 0.00 |