Polymorphic typing of variables and references
ACM Transactions on Programming Languages and Systems (TOPLAS)
A practical soft type system for scheme
ACM Transactions on Programming Languages and Systems (TOPLAS)
Componential set-based analysis
Proceedings of the ACM SIGPLAN 1997 conference on Programming language design and implementation
From system F to typed assembly language
POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Polymorphic splitting: an effective polyvariant flow analysis
ACM Transactions on Programming Languages and Systems (TOPLAS)
Making the future safe for the past: adding genericity to the Java programming language
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Taming effects with monadic typing
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
The marriage of effects and monads
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
Type-based analysis of uncaught exceptions
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation
Componential set-based analysis
ACM Transactions on Programming Languages and Systems (TOPLAS)
Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
Type inference with rank 1 polymorphism for type-directed compilation of ML
Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
Type-based analysis of uncaught exceptions
ACM Transactions on Programming Languages and Systems (TOPLAS)
Intersection types and computational effects
ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
Information flow inference for ML
POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Proceedings of the 2002 ACM SIGPLAN workshop on Haskell
Certification of a Type Inference Tool for ML: Damas–Milner within Coq
Journal of Automated Reasoning
Information flow inference for ML
ACM Transactions on Programming Languages and Systems (TOPLAS)
The marriage of effects and monads
ACM Transactions on Computational Logic (TOCL)
ESOP '00 Proceedings of the 9th European Symposium on Programming Languages and Systems
JOIN(X): Constraint-Based Type Inference for the Join-Calculus
ESOP '01 Proceedings of the 10th European Symposium on Programming Languages and Systems
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
MLF: raising ML to the power of system F
ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
Meta-programming through typeful code representation
ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
A type system for well-founded recursion
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Journal of Functional Programming
From ML to Ada: Strongly-typed language interoperability via source translation
Journal of Functional Programming
The recursive record semantics of objects revisited
Journal of Functional Programming
Simple, partial type-inference for System F based on type-containment
Proceedings of the tenth ACM SIGPLAN international conference on Functional programming
Meta-programming through typeful code representation
Journal of Functional Programming
Polymorphic regular tree types and patterns
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A polymorphic modal type system for lisp-like multi-staged languages
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Type-safe distributed programming for OCaml
Proceedings of the 2006 workshop on ML
Flow-insensitive type qualifiers
ACM Transactions on Programming Languages and Systems (TOPLAS)
Type inference for unboxed types and first class mutability
Proceedings of the 3rd workshop on Programming languages and operating systems: linguistic support for modern operating systems
A concurrent lambda calculus with futures
Theoretical Computer Science - Applied semantics
Dependent ML An approach to practical programming with dependent types
Journal of Functional Programming
Efficient type inference using ranked type variables
ML '07 Proceedings of the 2007 workshop on Workshop on ML
PLPV '07 Proceedings of the 2007 workshop on Programming languages meets program verification
Proceedings of the 2008 ACM SIGPLAN workshop on ML
Refinement types and computational duality
Proceedings of the 3rd workshop on Programming languages meets program verification
Sound and Complete Type Inference for a Systems Programming Language
APLAS '08 Proceedings of the 6th Asian Symposium on Programming Languages and Systems
Proceedings of the 5th ACM SIGPLAN workshop on Types in language design and implementation
Polymorphic delimited continuations
APLAS'07 Proceedings of the 5th Asian conference on Programming languages and systems
Experience report: using hackage to inform language design
Proceedings of the third ACM Haskell symposium on Haskell
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An approach to completing variable names for implicitly typed functional languages
PEPM '12 Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation
Outsidein(x) modular type inference with local assumptions
Journal of Functional Programming - Dedicated to ICFP 2009
Subject reduction vs intersection / union types in λµµ
VoCS'08 Proceedings of the 2008 international conference on Visions of Computer Science: BCS International Academic Conference
The sequential semantics of producer effect systems
POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Completeness and Soundness Results for X with Intersection and Union Types
Fundamenta Informaticae - Intersection Types and Related Systems ITRS
| Hi-index | 0.00 |