Results 271 to 280 of about 283,550 (300)

Sets in types, types in sets

1997
We present two mutual encodings, respectively of the Calculus of Inductive Constructions in Zermelo-Fraenkel set theory and the opposite way. More precisely, we actually construct two families of encodings, relating the number of universes in the type theory with the number of inaccessible cardinals in the set theory.
openaire   +1 more source

Abstract types have existential types

Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '85, 1985
Abstract data type declarations appear in typed programming languages like Ada, Alphard, CLU and ML. This form of declaration binds a list of identifiers to a type with associated operations, a composite “value” we call a data algebra . We use a second-order typed lambda calculus SOL to show how data algebras may be
John C. Mitchell, Gordon D. Plotkin
openaire   +2 more sources

Type inference and type classes

1990
Type classes were developed in association with the lazy functional programming language Haskell [1] to handle overloading since no satisfactory off-the-shelf solution was available. The motivation and description of type classes is given in [2].
openaire   +2 more sources

Type of search by type of library

Information Processing & Management, 1979
Abstract This is a summary of the literature on users studies from a particular point of view that is convenient for specialists to refer to, and informative for non-specialists. Variation in type of search may be considered central to providing a rational explanation and justification of the variations in resource allocation in different types of ...
openaire   +2 more sources

Type inference and type containment

1984
Type inference, the process of assigning types to untyped expressions, may be motivated by the design of a typed language or semantical considerations on the meanings of types and expressions. A typed language GR with polymorphic functions leads to the GR inference rules.
openaire   +1 more source

type++: Prohibiting Type Confusion with Inline Type Information

Proceedings 2025 Network and Distributed System Security Symposium
Type confusion, or bad casting, is a common C++ attack vector. Such vulnerabilities cause a program to interpret an object as belonging to a different type, enabling powerful attacks, like control-flow hijacking. C++ limits runtime checks to polymorphic classes because only those have inline type information.
Badoux, Nicolas, Toffalini, Flavio, Jeon, Yuseok, Payer, Mathias   +3 more
openaire   +3 more sources

Principal typings and type inference.

1996
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1996. ; Includes bibliographical references (p. 115-120) and index. ; by Trevor Jim. ; Ph.D.
openaire   +1 more source

High-performance keyboard typing motion driven hybrid nanogenerator

Nano Energy, 2021
Kumar Shrestha, Trilochan Bhatta
exaly  

Typing with mobile devices: A comparison of upper limb and shoulder muscle activities, typing performance and perceived workload under varied body postures, typing styles and device types

Applied Ergonomics, 2022
Xingda Qu, Da Tao, Tingru Zhang
exaly  

FastMLST: A Multi-core Tool for Multilocus Sequence Typing of Draft Genome Assemblies

Bioinformatics and Biology Insights, 2021
Cesar Rodriguez, Marina Muñoz, Daniel Paredes-Sabja   +2 more
exaly