Luca Cardelli. The Quest Language and System. Technical report, DEC SRC, 1994. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
The Use of the Typed Lambda Calculus for Guiding Naive Users in.. - Uschold (1996) (1 citation) (Correct)
....of different values of attributes (e.g. black and white sheep) without forcing the creation of these as new types. Although we require the ability to represent the individuals of a population, this is usually not necessary. It is a hindrance to force this. All typed logics that we are aware of [7, 1], require all sets to be types. However, this can force the the type mechanism to be used in an unintuitive, ontologically dubious manner. The ontological category for types is kinds of things . While it will never be possible to say with certainty for every thing, whether it can reasonably be ....
Luca Cardelli. The quest language and system. Tracking Draft, August 1989.
Cayenne - a Language With Dependent Types - Augustsson (1998) (68 citations) (Correct)
....compatible with the normal function type. It only serves as a marker to aid the insertion of the hidden arguments. This view of hidden arguments was presented in [ACN90] and later used in other systems like Lego, LP92] where the concept was formalized. Similar mechanism exist e.g. in Quest, Car94] and Russell, BDD89] The current implementation of hidden arguments is quite weak and cannot always nd the hidden arguments even when it seems reasonable that it should. It can nd a hidden argument if the variable (a in the example) occurs in a later argument type or the result type. In the ....
....whereas the value of depth may dioeer. This idea comes from the type system for the SML module system where these types are called translucent sums, Lil97] or the similar notion of singleton kinds. A similar construct is also present in Cardelli s Quest, where it is called manifest denitions, Car94] 4.2 Typing and evaluation rules The Cayenne typing rules are given in table 1 and table 2. Some simplications have been made to the typing rules for the purpose of presentation. In data type each constructor has exactly one argument which must be of value type. Furthermore, the order of the ....
[Article contains additional citation context not shown here]
Luca Cardelli. The Quest Language and System. Research report, DEC SRC, 1994.
Unknown - Like The Previous (Correct)
No context found.
Luca Cardelli. The Quest Language and System. Technical report, DEC SRC, 1994.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC