A. Aasa. Precedence for conc types. In FPCA '93: Conference on Functional Programming Languages and Computer Architecture, Copenhagen, Denmark, pages 83-91, New York, June 1993. ACM Press. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Accomplishments and Research Challenges in Meta-Programming - Sheard (2000) (16 citations) (Correct)
....constructed by templates, but the representation of code at run time carries not only information about the structure of the code, but also information about its type. Each quasi quoted template (without anti quotations) can be statically typed, but is assigned the type . val good = length [1,2] good = Xlength [1,2] J val bad = 5 O Error: The sub term: 5 is not a function. Any use of code, either via run, or via splicing into another piece of code (via anti quotation) must meet a run time check that the code is used in a type meaningful context. Thus templates can be ....
....but the representation of code at run time carries not only information about the structure of the code, but also information about its type. Each quasi quoted template (without anti quotations) can be statically typed, but is assigned the type . val good = length [1,2] good = Xlength [1,2] : J val bad = 5 O Error: The sub term: 5 is not a function. Any use of code, either via run, or via splicing into another piece of code (via anti quotation) must meet a run time check that the code is used in a type meaningful context. Thus templates can be statically typed, but ....
[Article contains additional citation context not shown here]
A. Aasa. Precedence for conc types. In FPCA '93: Conference on Functional Programming Languages and Computer Architecture, Copenhagen, Denmark, pages 83-91, New York, June 1993. ACM Press.
Accomplishments and Research Challenges in Meta-Programming - Sheard (2000) (16 citations) (Correct)
....constructed by templates, but the representation of code at run time carries not only information about the structure of the code, but also information about its type. Each quasi quoted template (without anti quotations) can be statically typed, but is assigned the type . val good = length [1,2] good = length [1,2] val bad = 5 0 Error: The sub term: 5 is not a function. Accomplishments and Research Challenges in Meta Programming 29 Any use of code, either via run, or via splicing into another piece of code (via anti quotation) must meet a run time check that the ....
....but the representation of code at run time carries not only information about the structure of the code, but also information about its type. Each quasi quoted template (without anti quotations) can be statically typed, but is assigned the type . val good = length [1,2] good = length [1,2] : val bad = 5 0 Error: The sub term: 5 is not a function. Accomplishments and Research Challenges in Meta Programming 29 Any use of code, either via run, or via splicing into another piece of code (via anti quotation) must meet a run time check that the code is used in a type ....
[Article contains additional citation context not shown here]
A. Aasa. Precedence for conc types. In FPCA'93: Conference on Functional Programming Languages and Computer Architecture, Copenhagen, Denmark, pages 83-91, New York, June 1993. ACM Press.
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