Static analysis for syntax objects
Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming
Modular information hiding and type-safe linking for C
TLDI '07 Proceedings of the 2007 ACM SIGPLAN international workshop on Types in languages design and implementation
Practical type inference for arbitrary-rank types
Journal of Functional Programming
Tribe: a simple virtual class calculus
Proceedings of the 6th international conference on Aspect-oriented software development
Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation
A library for light-weight information-flow security in haskell
Proceedings of the first ACM SIGPLAN symposium on Haskell
An Introduction to the Lambda Calculus
Central European Functional Programming School
Constrained types for object-oriented languages
Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Compiling the π-calculus into a Multithreaded Typed Assembly Language
Electronic Notes in Theoretical Computer Science (ENTCS)
Cross-tier, label-based security enforcement for web applications
Proceedings of the 2009 ACM SIGMOD International Conference on Management of data
An overview of programming language based security
Proceedings of the 47th Annual Southeast Regional Conference
On the Decidability of Subtyping with Bounded Existential Types
APLAS '09 Proceedings of the 7th Asian Symposium on Programming Languages and Systems
Balancing insight and effort: the industrial uptake of formal methods
Formal methods and hybrid real-time systems
Generative type abstraction and type-level computation
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Types for units-of-measure: theory and practice
CEFP'09 Proceedings of the Third summer school conference on Central European functional programming school
JavaGI: The Interaction of Type Classes with Interfaces and Inheritance
ACM Transactions on Programming Languages and Systems (TOPLAS)
First-class state change in plaid
Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
IFL'10 Proceedings of the 22nd international conference on Implementation and application of functional languages
Finding resource bounds in the presence of explicit deallocation
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
New results on type systems for functional logic programming
WFLP'09 Proceedings of the 18th international conference on Functional and Constraint Logic Programming
Static consistency checking for Verilog wire interconnects
Higher-Order and Symbolic Computation
Multivariate amortized resource analysis
ACM Transactions on Programming Languages and Systems (TOPLAS)
Dependently typed programming based on automated theorem proving
MPC'12 Proceedings of the 11th international conference on Mathematics of Program Construction
Harmonizing classes, functions, tuples, and type parameters in virgil iii
Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation
Location types for safe programming with near and far references
Aliasing in Object-Oriented Programming
| Hi-index | 0.00 |