Type inference in the polymorphic relational algebra
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Completeness of intersection and union type assignment systems for call-by-value λ-models
Theoretical Computer Science - Special issue on theories of types and proofs
POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A Context-Free Grammar Representation for Normal Inhabitants of Types in TAlambda
EPIA '01 Proceedings of the10th Portuguese Conference on Artificial Intelligence on Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving
Lambek Calculus Proofs and Tree Automata
LACL '98 Selected papers from the Third International Conference, on Logical Aspects of Computational Linguistics
Counting a Type's Principal Inhabitants
TLCA '99 Proceedings of the 4th International Conference on Typed Lambda Calculi and Applications
The Essence of Principal Typings
ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming
Directions in Functional Programming for Real(-Time) Applications
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Typing Local Definitions and Conditional Expressions with Rank 2 Intersection
FOSSACS '00 Proceedings of the Third International Conference on Foundations of Software Science and Computation Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000
Partially Typed Terms between Church-Style and Curry-Style
TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics
Decidability of Bounded Higher-Order Unification
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
A framework for studying substitution
Acta Cybernetica
Programming methodology
Handbook of automated reasoning
Rank 2 intersection types for local definitions and conditional expressions
ACM Transactions on Programming Languages and Systems (TOPLAS)
Rank 2 intersection types for modules
Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming
Geometry of Interaction and linear combinatory algebras
Mathematical Structures in Computer Science
Statistical properties of simple types
Mathematical Structures in Computer Science
From λ to π; or, Rediscovering continuations
Mathematical Structures in Computer Science
Lambda terms for natural deduction, sequent calculus and cut elimination
Journal of Functional Programming
Linearization of the lambda-calculus and its relation with intersection type systems
Journal of Functional Programming
The decidability of a fragment of BB'IW-logic
Theoretical Computer Science - Logic, semantics and theory of programming
Semantic bootstrapping of type-logical grammar
Journal of Logic, Language and Information
A structural approach to reversible computation
Theoretical Computer Science
Weak linearization of the lambda calculus
Theoretical Computer Science - Applied semantics: Selected topics
Abstract Families of Abstract Categorial Languages
Electronic Notes in Theoretical Computer Science (ENTCS)
Counting a Type's (Principal) Inhabitants
Fundamenta Informaticae - Typed Lambda Calculi and Applications (TLCA'99)
Hierarchical Nominal Terms and Their Theory of Rewriting
Electronic Notes in Theoretical Computer Science (ENTCS)
The Completeness of Typing for Context-Semantics
Fundamenta Informaticae - Typed Lambda Calculi and Applications 2005, Selected Papers
Rank 2 Intersection for Recursive Definitions
Fundamenta Informaticae - Typed Lambda Calculi and Applications 2005, Selected Papers
A typed lambda calculus with intersection types
Theoretical Computer Science
The inhabitation problem for intersection types
CATS '08 Proceedings of the fourteenth symposium on Computing: the Australasian theory - Volume 77
Principal Typings for Explicit Substitutions Calculi
CiE '08 Proceedings of the 4th conference on Computability in Europe: Logic and Theory of Algorithms
On Polymorphic Recursion, Type Systems, and Abstract Interpretation
SAS '08 Proceedings of the 15th international symposium on Static Analysis
A Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables
Proceedings of the 5th international colloquium on Theoretical Aspects of Computing
Typing communicating component assemblages
GPCE '08 Proceedings of the 7th international conference on Generative programming and component engineering
Pragmatic equivalence and safety checking in Cryptol
Proceedings of the 3rd workshop on Programming languages meets program verification
Typing Component-Based Communication Systems
FMOODS '09/FORTE '09 Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems
TPHOLs '09 Proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics
Communications of the ACM
Efficient off-board deployment and customization of virtual machine-based embedded systems
ACM Transactions on Embedded Computing Systems (TECS)
Second-Order Abstract Categorial Grammars as Hyperedge Replacement Grammars
Journal of Logic, Language and Information
Higher-order logic programming languages with constraints: a semantics
TLCA'07 Proceedings of the 8th international conference on Typed lambda calculi and applications
Abstract deduction and inferential models for type theory
Information and Computation
Grammar Induction by Unification of Type-logical Lexicons
Journal of Logic, Language and Information
Strict intersection types for the Lambda Calculus
ACM Computing Surveys (CSUR)
Game semantics and uniqueness of type inhabitance in the simply-typed λ-calculus
TLCA'11 Proceedings of the 10th international conference on Typed lambda calculi and applications
Distributional learning of abstract categorial grammars
LACL'11 Proceedings of the 6th international conference on Logical aspects of computational linguistics
Cut-free Gentzen calculus for multimodal CK
Information and Computation
Verifying and invalidating textbook proofs using scunak
MKM'06 Proceedings of the 5th international conference on Mathematical Knowledge Management
Decidability in syntactic control of interference
ICALP'05 Proceedings of the 32nd international conference on Automata, Languages and Programming
Graph-based proof counting and enumeration with applications for program fragment synthesis
LOPSTR'04 Proceedings of the 14th international conference on Logic Based Program Synthesis and Transformation
An Algebra of Behavioural Types
Information and Computation
Completeness theorems and π-calculus
TLCA'05 Proceedings of the 7th international conference on Typed Lambda Calculi and Applications
Rank-2 intersection and polymorphic recursion
TLCA'05 Proceedings of the 7th international conference on Typed Lambda Calculi and Applications
When are different type-logical semantic definitions defining equivalent meanings?
Journal of Computer and System Sciences
Higher-order aspects and context in SUMO
Web Semantics: Science, Services and Agents on the World Wide Web
The Completeness of Typing for Context-Semantics
Fundamenta Informaticae - Typed Lambda Calculi and Applications 2005, Selected Papers
Rank 2 Intersection for Recursive Definitions
Fundamenta Informaticae - Typed Lambda Calculi and Applications 2005, Selected Papers
What is turing's comparison between mechanism and writing worth?
CiE'12 Proceedings of the 8th Turing Centenary conference on Computability in Europe: how the world computes
Counting a Type's (Principal) Inhabitants
Fundamenta Informaticae - Typed Lambda Calculi and Applications (TLCA'99)
Theory and Practice of Logic Programming
A decidable theory of type assignment
Archive for Mathematical Logic
Completeness and Soundness Results for X with Intersection and Union Types
Fundamenta Informaticae - Intersection Types and Related Systems ITRS
On Realisability Semantics for Intersection Types with Expansion Variables
Fundamenta Informaticae - Intersection Types and Related Systems ITRS
| Hi-index | 0.02 |