Revised6 Report on the Algorithmic Language Scheme (Q3401233): Difference between revisions
From MaRDI portal
Created claim: Wikidata QID (P12): Q60620379, #quickstatements; #temporary_batch_1711015421434 |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q3655272 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3997095 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4398769 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3122694 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A syntactic approach to type soundness / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Revised report on the algorithmic language scheme / rank | |||
Normal rank |
Revision as of 09:49, 2 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Revised6 Report on the Algorithmic Language Scheme |
scientific article |
Statements
Revised6 Report on the Algorithmic Language Scheme (English)
0 references
29 January 2010
0 references
lambda calculus
0 references
Common Lisp's generic arithmetic
0 references