 |
|
Mitä ihmiset sanovat - Kirjoita arvosteluKäyttäjien tekemät arviot
Review: Types and Programming LanguagesKäyttäjän arvio - Leo Horovitz - GoodreadsAfter spending years on my shelf and having been partially read at least once before, this book was finally finished! (I don't know why I used the passive form there, it just felt right for some ... Lue koko arvostelu Review: Types and Programming LanguagesKäyttäjän arvio - Steve - GoodreadsI liked the structure: starting simple, explaining things clearly, and building slowly. Don't attempt to read this book without at least a basic knowledge of doing proofs in math and higher-order ... Lue koko arvostelu Aiheeseen liittyviä teoksia
Sisältö
Yleiset termit ja ilmauksetA_:Unit Abadi Ai:Nat algorithm apply argument Bool booleans bound variable bounded quantification calculate Cardelli Chapter Church encodings Church numerals computation constraint constructor context Curry-Howard correspondence datatype defined definition dependent types elements encoding error eval evaluation rules example EXERCISE RECOMMENDED existential existential types expressions false field Figure finite follows formal function greatest fixed point implementation induction hypothesis instance variables instantiated instrCounterClass intuition iszero Java Lemma methods numbers object-oriented OCaml operational semantics pair polymorphism programming languages proof record recursive types result run-time S-Trans sequence SetCounter setCounterClass simply typed lambda-calculus SOLUTION subderivation substitution subtype relation subtyping rules succ syntactic syntax System F T-SUB theorem tion tree types true type abstraction type annotations type operators type reconstruction type safety type systems type variables typechecking typing derivations typing relation typing rules unit untyped variant well-typed term write yields Suositut otteetSivu 578 - S. Smith, and V. Trifonov. Type inference for recursively constrained types and its application to OOP. In Mathematical Foundations of Programming Semantics, New Orleans, volume 1 of Electronic Notes in Theoretical Computer Science. Sivu 568 - September 1999. [AFM97] Ole Agesen, Stephen N. Freund, and John C. Mitchell. Adding type parameterization to the Java language. In Proceedings of ACM Conference on Object Oriented Languages and Systems, October 1997. Sivu 601 - Philip Wadler and Stephen Blott. How to make ad-hoc polymorphism less ad hoc. In Sixteenth Annual ACM Symposium on Principles of Programming Languages, pages 60-76, Austin, Texas, 1989. Sivu 584 - Suresh Jagannathan and Andrew Wright. Effective flow analysis for avoiding run-time checks. In Proceedings of the 2nd International Static Analysis Symposium, volume 983 of Lecture Notes in Computer Science, pages 207-224. Sivu 585 - Revised 5 report on the algorithmic language Scheme. Higher-Order and Symbolic Computation, 11(1):7105, 1998. Also appears in ACM SIGPLAN Notices 33(9), September 1998. Sivu 591 - Greg Morrisett, David Walker, Karl Crary, and Neal Glew. From System F to Typed Assembly Language. ACM Transactions on Programming Languages and Systems, 21(3):528-569, May 1999. Sivu 568 - In Proceedings of the llth Annual IEEE Symposium on Logic in Computer Science (LICS 1996), pp. Viitteet tähän teokseenMuista teoksista
Google ScholaristaXDuce: A Statically Typed XML Processing LanguageHARUO HOSOYA, BENJAMIN C PIERCE - 2003 - ACM Transactions on Internet Technology Mechanized Metatheory for the Masses: The PoplMark ChallengeBrian E Aydemir, Aaron Bohannon, Matthew Fairbairn, J Nathan Foster, Benjamin C Pierce, Peter ... Towards Automatic Generation of Vulnerability-Based SignaturesDavid Brumley, James Newsome, Dawn Song, Hao Wang, Somesh Jha A Uniform Type Structure for Secure Information FlowKOHEI HONDA, NOBUKO YOSHIDA - ACM Transactions on Programming Languages and Systems Viittaukset verkkosivuillaTypes and Programming Languages School of Informatics Course Descriptor Advanced Topics in Types and Programming Languages | Lambda the ... BENJAMIN C. PIERCE (ED.) * Advanced Topics in Types and ... Types and Programming Languages Advanced Topics in Types and Programming Languages - The MIT Press citeulike: Advanced Topics In Types And Programming Languages CMPS 290G - Topics in Software Engineering - Software Validation ... Types and Programming Languages: The Next Generation New book: Types and Programming Languages Kirjaluettelon tiedot
|