Operational and axiomatic semantics of PCF
LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming
The complexity of type inference for higher-order lambda calculi
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An extension of standard ML modules with subtyping and inheritance
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Introduction to the literature on object-oriented design, programming, and languages
ACM SIGPLAN OOPS Messenger
A framework for defining logics
Journal of the ACM (JACM)
Polymorphic type reconstruction for garbage collection without tags
LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
A compilation method for ML-style polymorphic record calculi
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
PER models of subtyping, recursive types and higher-order polymorphism
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Polymorphism by name for references and continuations
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Type inference with polymorphic recursion
ACM Transactions on Programming Languages and Systems (TOPLAS)
On the type structure of standard ML
ACM Transactions on Programming Languages and Systems (TOPLAS)
Second-order signature: a tool for specifying data models, query processing, and optimization
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
Structural decidable extensions of bounded quantification
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Parametricity and local variables
Journal of the ACM (JACM)
A polymorphic record calculus and its compilation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Polymorphism and type inference in database programming
ACM Transactions on Database Systems (TODS)
Inductive, coinductive, and pointed types
Proceedings of the first ACM SIGPLAN international conference on Functional programming
On genericity and parametricity (extended abstract)
PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Program generalization for software reuse: from C to C++
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Types as abstract interpretations
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The security of static typing with dynamic linking
Proceedings of the 4th ACM conference on Computer and communications security
Polymorphic splitting: an effective polyvariant flow analysis
ACM Transactions on Programming Languages and Systems (TOPLAS)
Type inference for queries on semistructured data
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Semantics study and reality of computing
ACM Computing Surveys (CSUR)
DTD inference for views of XML data
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Logical relations, data abstraction, and structured fibrations
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
Soundness of data refinement for a higher-order imperative language
Theoretical Computer Science
Contexts in Dynamic Predicate Logic
Journal of Logic, Language and Information
Intersection and singleton type assignment characterizing finite Böhm-trees
Information and Computation
Information and Computation
Higher-Order and Symbolic Computation
A foundation for embedded languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
Lambda Definability with Sums via Grothendieck Logical Relations
TLCA '99 Proceedings of the 4th International Conference on Typed Lambda Calculi and Applications
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
Confluence of Untyped Lambda Calculus via Simple Types
ICTCS '01 Proceedings of the 7th Italian Conference on Theoretical Computer Science
Characterising Strong Normalisation for Explicit Substitutions
LATIN '02 Proceedings of the 5th Latin American Symposium on Theoretical Informatics
Properties of a Type Abstract Interpreter
VMCAI 2003 Proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation
ALT '02 Proceedings of the 13th International Conference on Algorithmic Learning Theory
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
Logical Relations and Data Abstraction
Proceedings of the 14th Annual Conference of the EACSL on Computer Science Logic
A Generalization of Dijkstra's Calculus to Typed Program Specifications
FCT '99 Proceedings of the 12th International Symposium on Fundamentals of Computation Theory
Reasoning about local variables with operationally-based logical relations
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
On the Expressive Power of Simply Typed and Let-Polymorphic Lambda Calculi
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Exchanging intensional XML data
Proceedings of the 2003 ACM SIGMOD international conference on Management of data
Typed operational semantics for higher-order subtyping
Information and Computation
Normalization and the Yoneda embedding
Mathematical Structures in Computer Science
Intersection types for explicit substitutions
Information and Computation
Behavioural inverse limit λ-models
Theoretical Computer Science - Logic, semantics and theory of programming
Types, potency, and idempotency: why nonlinearity and amnesia make a type system work
Proceedings of the ninth ACM SIGPLAN international conference on Functional programming
Exchanging intensional XML data
ACM Transactions on Database Systems (TODS) - Special Issue: SIGMOD/PODS 2003
Decidability of Reachability for Polymorphic Systems with Arrays: A Complete Classification
Electronic Notes in Theoretical Computer Science (ENTCS)
Polymorphic Systems with Arrays, 2-Counter Machines and Multiset Rewriting
Electronic Notes in Theoretical Computer Science (ENTCS)
Model Suites For Multi-Layered Database Modelling
Proceedings of the 2010 conference on Information Modelling and Knowledge Bases XXI
Well-going programs can be typed
TLCA'03 Proceedings of the 6th international conference on Typed lambda calculi and applications
TYPES'02 Proceedings of the 2002 international conference on Types for proofs and programs
On mathematical laws of software
Transactions on computational science II
Approximation semantics and expressive predicate assignment for object-oriented programming
TLCA'11 Proceedings of the 10th international conference on Typed lambda calculi and applications
Proof abstraction for imperative languages
APLAS'06 Proceedings of the 4th Asian conference on Programming Languages and Systems
Computer aided incremental specification
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
A framework for static detection of privacy leaks in android applications
Proceedings of the 27th Annual ACM Symposium on Applied Computing
On the power of abstract interpretation
Computer Languages
Bi-models: Relational Versus Domain-theoretic Approaches
Fundamenta Informaticae
Remarks on semantic completeness for proof-terms with Laird's dual affine/intuitionistic λ-Calculus
Rewriting Computation and Proof
The Formal Design Models of a Universal Array UA and its Implementation
International Journal of Software Science and Computational Intelligence
Semantic Types and Approximation for Featherweight Java
Theoretical Computer Science
Reducibility Proofs in the λ-Calculus
Fundamenta Informaticae - Intersection Types and Related Systems ITRS
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |