Proceedings of the seventh ACM SIGPLAN international conference on Functional programming
JOIN(X): Constraint-Based Type Inference for the Join-Calculus
ESOP '01 Proceedings of the 10th European Symposium on Programming Languages and Systems
A General Type Inference Framework for Hindley/Milner Style Systems
FLOPS '01 Proceedings of the 5th International Symposium on Functional and Logic Programming
A versatile constraint-based type inference system
Nordic Journal of Computing
Fine-Grained Information Flow Analysis for a \lambda Calculus with Sum Types
CSFW '02 Proceedings of the 15th IEEE workshop on Computer Security Foundations
Interactive type debugging in Haskell
Haskell '03 Proceedings of the 2003 ACM SIGPLAN workshop on Haskell
A systematic approach to static access control
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
A constraint-based approach to guarded algebraic data types
ACM Transactions on Programming Languages and Systems (TOPLAS)
Understanding functional dependencies via constraint handling rules
Journal of Functional Programming
A crash course on database queries
Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Polymorphic type inference for the named nested relational calculus
ACM Transactions on Computational Logic (TOCL)
Hm(x) type inference is clp(x) solving
Journal of Functional Programming
Proceedings of the 5th ACM SIGPLAN workshop on Types in language design and implementation
A framework for extended algebraic data types
FLOPS'06 Proceedings of the 8th international conference on Functional and Logic Programming
Outsidein(x) modular type inference with local assumptions
Journal of Functional Programming - Dedicated to ICFP 2009
| Hi-index | 0.00 |