	Словари, Словарь Dictionary
	Словари, Словарь Dictionary Online computer dictionary - Свободный компьютерный английский словарь О сайте 10 самых Словари Обратная связь

! & ( * , - . / 0 1 2 3 4 5 6 7 8 9 : ; < = @ %
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z [ \ { ~

Q Q& QA QB QD QE QI QL QM QN QO QP QT QU QW QX

Quest

Quest 1. A language designed for its simple denotational semantics. "The Denotational Semantics of Programming Languages", R. Tennent, CACM 19(8):437-453 (Aug 1976). 2. QUantifiers and SubTypes. Language with a sophisticated type system. Just as types classify values, "kinds" classify types and type operators. Explicit universal and existential quantification over types, type operators, and subtypes. Subtyping is defined inductively on all type constructions, including higher-order functions and abstract types. User-definable higher-order type operators. "Typeful Programming", Luca Cardelli , RR 45, DEC SRC 1989. Implemented in Modula-3. {(ftp://gatekeeper.dec.com/pub/DEC/Quest/quest12A.tar.Z)} 3. A system. Quest has been available for for some time. Version 3.5 for was released around March 1995. It features an -style system with an . (1995-04-02)

на заглавную

О сайте • 10 самых • Словари • Обратная связь

к началу страницы

XHTML | CSS

1.8.11