ACM Transactions on Programming Languages and Systems (TOPLAS)
The design, definition and implementation of programming languages
ACM SIGSOFT Software Engineering Notes
Logical Predicates for Intuitionistic Linear Type Theories
TLCA '99 Proceedings of the 4th International Conference on Typed Lambda Calculi and Applications
Resource Interpretations, Bunched Implications and the alpha lambda-Calculus
TLCA '99 Proceedings of the 4th International Conference on Typed Lambda Calculi and Applications
Categorical Models of Explicit Substitutions
FoSSaCS '99 Proceedings of the Second International Conference on Foundations of Software Science and Computation Structure, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99
Classical Linear Logic of Implications
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
Categorical Models for Intuitionistic and Linear Type Theory
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
Linear Logic, Monads and the Lambda Calculus
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
The call-by-value λ-calculus: a semantic investigation
Mathematical Structures in Computer Science
Girard translation and logical predicates
Journal of Functional Programming
Journal of Functional Programming
Computational types from a logical perspective
Journal of Functional Programming
Theoretical Computer Science - Logic, semantics and theory of programming
Classical linear logic of implications
Mathematical Structures in Computer Science
Extensional Universal Types for Call-by-Value
APLAS '08 Proceedings of the 6th Asian Symposium on Programming Languages and Systems
Science of Computer Programming
On traced monoidal closed categories
Mathematical Structures in Computer Science
An Algebraic Account of References in Game Semantics
Electronic Notes in Theoretical Computer Science (ENTCS)
Lightweight linear types in system f°
Proceedings of the 5th ACM SIGPLAN workshop on Types in language design and implementation
Journal of Functional Programming
Differential structure in models of multiplicative biadditive intuitionistic linear logic
TLCA'07 Proceedings of the 8th international conference on Typed lambda calculi and applications
A linear-non-linear model for a computational call-by-value lambda calculus
FOSSACS'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Foundations of software science and computational structures
Enriching an effect calculus with linear types
CSL'09/EACSL'09 Proceedings of the 23rd CSL international conference and 18th EACSL Annual conference on Computer science logic
Musings around the geometry of interaction, and coherence
Theoretical Computer Science
A semantic model for graphical user interfaces
Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
Functorial boxes in string diagrams
CSL'06 Proceedings of the 20th international conference on Computer Science Logic
Stateful contracts for affine types
ESOP'10 Proceedings of the 19th European conference on Programming Languages and Systems
Linearly-Used continuations in the enriched effect calculus
FOSSACS'10 Proceedings of the 13th international conference on Foundations of Software Science and Computational Structures
Uniqueness typing in natural deduction style
FP'95 Proceedings of the 1995 international conference on Functional Programming
CSL'07/EACSL'07 Proceedings of the 21st international conference, and Proceedings of the 16th annuall conference on Computer Science Logic
Higher-Order processes, functions, and sessions: a monadic integration
ESOP'13 Proceedings of the 22nd European conference on Programming Languages and Systems
| Hi-index | 0.01 |