ReIm & ReImInfer: Checking and Inference of Reference Immutability and Method Purity Wei Huang Ana Milanova

Source URL: homes.cs.washington.edu

• Data types
• Type theory
• Java
• Concurrent programming languages
• Object-oriented programming languages
• Immutable object
• Const
• Final
• Subtyping
• Scala
• Type qualifier
• Takes

Inference and Checking of Object Ownership Wei Huang1 , Werner Dietl2 , Ana Milanova1 , and Michael D. Ernst2 1 Rensselaer Polytechnic Institute

Source URL: homes.cs.washington.edu

• Software engineering
• Type theory
• Programming language theory
• Computing
• Subtyping
• Type system
• System F
• HindleyMilner type system
• ML
• Type inference
• Typeof
• Is-a

AACR, Washington DC April 6-10, 2013 ABSTRACT #1448 Contact:: Identifying and Subtyping Circulating Tumor Cells (CTCs) from breast, prostate and pancreatic cancer patients based on distinct mo

Source URL: www.creatvmicrotech.com

Logical Methods in Computer Science Volume 00, Number 0, Pages 000–000 SXX λ -RBAC: PROGRAMMING WITH ROLE-BASED ACCESS CONTROL RADHA JAGADEESAN, ALAN JEFFREY, CORIN PITCHER, AND JAMES RIELY

Source URL: ect.bell-labs.com

• Type theory
• Algebraic geometry
• Computability theory
• Lambda calculus
• Theoretical computer science
• Role-based access control
• Valuation
• Subtyping
• Monad
• CurryHoward correspondence

Sound and Complete Flow Typing with Unions, Intersections and Negations David J. Pearce Victoria University of Wellington Wellington, New Zealand {djp}@ecs.vuw.ac.nz

Source URL: homepages.ecs.vuw.ac.nz

• Type theory
• Data types
• Functional languages
• Object-oriented programming
• Type systems
• Subtyping
• Whiley
• OCaml
• ALGOL 68
• Type conversion
• Const
• ML

A core data and behaviour language for E-LOTOS Alan Jeffrey Based on discussions at the COST 247 short term scientific mission attended by Hubert Garavel,. Guy Leduc, Charles Pecheur, Ricardo Pe˜na and Mihaela Sighirean

Source URL: ect.bell-labs.com

• Software engineering
• Computing
• Computer programming
• Data types
• Type theory
• C++
• Procedural programming languages
• ALGOL 68
• Type system
• C++ classes
• Subtyping
• Const

The Good, the Bad, and the Ugly: An Empirical Study of Implicit Type Conversions in JavaScript Michael Pradel1 and Koushik Sen2 1 2

Source URL: mp.binaervarianz.de

• Software engineering
• Computing
• Computer programming
• Data types
• Operator
• Subtyping
• ALGOL 68
• Boolean data type
• JavaScript
• Primitive data type
• Null
• Relational operator

A symbolic labelled transition system for coinductive subtyping of Fµ types Alan Jeffrey DePaul University Extended Abstract

Source URL: ect.bell-labs.com

• Type theory
• Object-oriented programming
• Polymorphism
• Subtyping
• Base
• Mathematics
• Structure

Types and Effects for Asymmetric Cryptographic Protocols Andrew D. Gordon Microsoft Research Cambridge, UK Alan Jeffrey

Source URL: ect.bell-labs.com

• Cryptography
• Public-key cryptography
• Authentication protocols
• Symmetric-key cryptography
• NeedhamSchroeder protocol
• Cryptographic nonce
• XTR
• Digital signature
• Subtyping
• Security protocol notation

Objects and subtyping in the λΠ-calculus modulo Ali Assaf12 , Rapha¨el Cauderlier13 , and Catherine Dubois34 1 INRIA Paris-Rocquencourt, Paris, France 2 ´

Source URL: who.rocq.inria.fr