Information flow inference for free
ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Information flow inference for ML
POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Simplifying subtyping constraints: a theory
Information and Computation
Higher-Order and Symbolic Computation
Proceedings of the seventh ACM SIGPLAN international conference on Functional programming
Information flow inference for ML
ACM Transactions on Programming Languages and Systems (TOPLAS)
A 3-Part Type Inference Engine
ESOP '00 Proceedings of the 9th European Symposium on Programming Languages and Systems
A Systematic Approach to Static Access Control
ESOP '01 Proceedings of the 10th 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
A General Type Inference Framework for Hindley/Milner Style Systems
FLOPS '01 Proceedings of the 5th International Symposium on Functional and Logic Programming
Using, Understanding, and Unraveling the OCaml Language. From Practice to Theory and Vice Versa
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
A versatile constraint-based type inference system
Nordic Journal of Computing
Extending sized type with collection analysis
Proceedings of the 2003 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
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
Discriminative sum types locate the source of type errors
ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
An extension of HM(X) with bounded existential and universal data-types
ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
TinkerType: a language for playing with formal systems
Journal of Functional Programming
Type inference for a distributed π-calculus
Science of Computer Programming - Special issue on 12th European symposium on programming (ESOP 2003)
Polymorphic specialization for ML
ACM Transactions on Programming Languages and Systems (TOPLAS)
Haskell '04 Proceedings of the 2004 ACM SIGPLAN workshop on Haskell
Object-oriented units of measurement
OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Grammar-based analysis of string expressions
TLDI '05 Proceedings of the 2005 ACM SIGPLAN international workshop on Types in languages design and implementation
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A systematic approach to static access control
ACM Transactions on Programming Languages and Systems (TOPLAS)
Proceedings of the tenth ACM SIGPLAN international conference on Functional programming
A static analysis for bulk synchronous parallel ML to avoid parallel nesting
Future Generation Computer Systems - Special issue: Parallel computing technologies
ACM Transactions on Programming Languages and Systems (TOPLAS)
Stratified type inference for generalized algebraic data types
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming
Proceedings of the 2006 workshop on ML
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
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
Coercions in a polymorphic type system
Mathematical Structures in Computer Science
Typing communicating component assemblages
GPCE '08 Proceedings of the 7th international conference on Generative programming and component engineering
Proceedings of the 5th ACM SIGPLAN workshop on Types in language design and implementation
A static analysis for Bulk Synchronous Parallel ML to avoid parallel nesting
Future Generation Computer Systems - Special issue: Parallel computing technologies
Type reconstruction for general refinement types
ESOP'07 Proceedings of the 16th European conference on Programming
Type inference and strong static type checking for Promela
Science of Computer Programming
ECOOP'10 Proceedings of the 24th European conference on Object-oriented programming
FoVeOOS'10 Proceedings of the 2010 international conference on Formal verification of object-oriented software
IDE support to facilitate the transition from rapid prototyping to robust software production
Proceedings of the 1st Workshop on Developing Tools as Plug-ins
Type system for a safe execution of parallel programs in BSML
Proceedings of the fifth international workshop on High-level parallel programming and applications
Implicit self-adjusting computation for purely functional programs
Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
Existential label flow inference via CFL reachability
SAS'06 Proceedings of the 13th international conference on Static Analysis
Field access analysis for enforcing access control policies
ETRICS'06 Proceedings of the 2006 international conference on Emerging Trends in Information and Communication Security
A framework for extended algebraic data types
FLOPS'06 Proceedings of the 8th international conference on Functional and Logic Programming
Testing concurrent systems: an interpretation of intuitionistic logic
FSTTCS '05 Proceedings of the 25th international conference on Foundations of Software Technology and Theoretical Computer Science
Outsidein(x) modular type inference with local assumptions
Journal of Functional Programming - Dedicated to ICFP 2009
Decidability of type-checking in the calculus of algebraic constructions with size annotations
CSL'05 Proceedings of the 19th international conference on Computer Science Logic
Inference of user-defined type qualifiers and qualifier rules
ESOP'06 Proceedings of the 15th European conference on Programming Languages and Systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Tracking linear and affine resources with JAVA(X)
ECOOP'07 Proceedings of the 21st European conference on Object-Oriented Programming
Typing as functional-logic evaluation
PEPM '13 Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation
Scalad: an interactive type-level debugger
Proceedings of the 4th Workshop on Scala
Sensitivity analysis using type-based constraints
Proceedings of the 1st annual workshop on Functional programming concepts in domain-specific languages
Extending Type Inference to Variational Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Hi-index | 0.00 |