Programming Language - Quest

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

Comments, Experience, Additions

Name: *

Email Address: *

City, Country:

Comments: *

13 plus 3? *   Robot Spam Prevention

 

Next Language:   QUICK

Browse by Letter

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