Types for Hierarchic Shapes.- Linear Regions Are All You Need.- Type-Based Amortised Heap-Space Analysis.- Haskell Is Not Not ML.- Coinductive Big-Step Operational Semantics.- Step-Indexed Syntactic Logical Relations for Recursive and Quantified Types.- Approaches to Polymorphism in Classical Sequent Calculus.- Pure Pattern Calculus.- A Verification Methodology for Model Fields.- ILC: A Foundation for Automated Reasoning About Pointer Programs.- Bisimulations for Untyped Imperative Objects.- A Typed Assembly Language for ...
Read More
Types for Hierarchic Shapes.- Linear Regions Are All You Need.- Type-Based Amortised Heap-Space Analysis.- Haskell Is Not Not ML.- Coinductive Big-Step Operational Semantics.- Step-Indexed Syntactic Logical Relations for Recursive and Quantified Types.- Approaches to Polymorphism in Classical Sequent Calculus.- Pure Pattern Calculus.- A Verification Methodology for Model Fields.- ILC: A Foundation for Automated Reasoning About Pointer Programs.- Bisimulations for Untyped Imperative Objects.- A Typed Assembly Language for Confidentiality.- Flow Locks: Towards a Core Calculus for Dynamic Flow Policies.- A Basic Contract Language for Web Services.- Types for Dynamic Reconfiguration.- Size-Change Termination Analysis in k-Bits.- Path Optimization in Programs and Its Application to Debugging.- Inference of User-Defined Type Qualifiers and Qualifier Rules.- Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions.- Embedding Dynamic Dataflow in a Call-by-Value Language.- Polymorphic Type Inference for the JNI.- Type Safety of Generics for the .NET Common Language Runtime.- The Weird World of Bi-directional Programming.
Read Less
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Fair. Size: 0x0x0; ***Please Read*** English edition-Book shows wear plus the spine being loose (still intact) and no DJ-interior is tight and clean-size is 22.5x28.5x2 cm-200 pages-my shelf location-k-3-c*