Вы здесь

Главная

тип

Связанные издания:

Extending Models of Second Order Predicate Logic to Models of Second Order Dependent Type Theory
Extending Pruning Techniques to Polymorphic Second Order -Calculus
Extensional Normalisation and Type-Directed Partial Evaluation for Typed Lambda Calculus with Sums
Extensions of Pure Type Systems
Extensions to Type Systems Can Preserve Operational Equivalences
External Uniqueness Is Unique Enough
Faithful Translations between Polyvariant Flows and Polymorphic Types
Fast Points-to Analysis for Languages with Structured Types
Filing and Finding Computer Files
Fine Grained Object Protection in UNIX
First-Class Contexts in ML
First-class Macros Have Types
Fixed-Point Logic with the Approximation Modality and Its Kripke Completeness
Flexible Representation Analysis
Flexible Type Analysis
Flexible Types for a Concurrent Model
Floating Point Attributes in Ada
Formal Grammar: Proc./17th and 18th International Conferences FG 2012 Opole, Poland, August 2012 and FG 2013 Dusseldorf, Germany, August 2013
Formalising Formulas-as-Types-as-Objects
Formalization of Generics for the .NET Common Language Runtime
Formalizing the Halting Problem in a Constructive Type Theory
Formally Optimal Boxing
Formal Techniques for Distributed Systems: Proc./Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013 Held as Part of the 8th International Federated Conference, DisCoTec 2013, Florence, Italy, June 2013
Foundations for Virtual Types
Foundations of Software Science and Computation Structures: Proc./19th International Conference, FOSSACS 2016 Held as Part of the ETAPS 2016, Eindhoven, The Netherlands, April 2016
Foundations of Software Science and Computation Structures: Proc./7th Intern. Conf., FOSSACS 2004, Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March-April 2004
From Classes to Objects via Subtyping
From Generic C Code to Type-Safe Class Template in C++
From Semantics to Rules: A Machine Assisted Analysis
Full Abstraction for PCF
Functional Programming and Geometry
Fundamentals of Generic Programming
Fundomentals of Computation Theory: Proc./ 10th International Conference, FCT 95. Dresden, Germany, August 1995
Garbage Collection for Strongly-Typed Languages using Run-time Type Reconstruction
Garbage Collection via Dynamic Type Inference - A Formal Treatment
Gayenne - Spice up Your Programming with Dependent Types
Generalization in Type Theory Based Proof Assistants
General Recursion in Type Theory
Generating Type Information in Strongly Typed Object-Oriented Language
Generation Type Garbage Collection for Parallel Logic Languages
Generic Facilities in Object-Oriented ASMs
Genericity in Java with Virtual Types
Generic Wrappers
Godel s Dialectica Interpretation and Its Two-Way Stretch
Graph Model of LAMBDA in Higher Order Logic
Handbook of Automated Reasoning. Volume II
Higher-order Aspacts of Logic Programming
Higher-order Aspects of Logic Programming
Higher Order Demand Propagation
Higher-Order Intensional Type Analysis