M. Flatt. Composable and compilable macros: you want it when? In Proceedings of the seventh ACM SIGPLAN international conference on Functional programming, pages 72--83. ACM Press, 2002. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Contracts for Higher-Order Functions - Findler, Felleisen (2002) (1 citation) (Correct)
....null ) l (make panel ) let ( new child (make panel sp) children (send (send new child get parent) unless (eq (car children) new child ) contract error make panel ) new child ) Figure 2. Contract Manually Distributed (l (n) saved n) The module [8, 9] declaration consists of a name for the module, the language in which the module is written, a provide declaration and a series of definitions. This module provides save and use . The variable saved holds a function that should map positive numbers to positive numbers. Since it is not exported ....
....each definition is considered to be a separate entity for the purpose of assigning blame. In an implementation, this is too fine grained. Blame should instead be assigned to a coarser construct, e.g. Modula s modules, ML s structures and functors, or Java s packages. In DrScheme, we blame modules [9]. Programmers do not write obligation expressions. Instead, contracts are extracted from the definitions and turned into obligations. To enforce this, we define the judgment p ok that holds when there are no obligation expressions in p . Obligations are placed on each reference to a val ....
Flatt, M. Composable and compilable macros: You want it when? In Proceedings of ACM SIGPLAN International Conference on Functional Programming, 2002.
Improving the Static Analysis of Embedded Languages via.. - Herman, Meunier (2004) (Correct)
No context found.
M. Flatt. Composable and compilable macros: you want it when? In Proceedings of the seventh ACM SIGPLAN international conference on Functional programming, pages 72--83. ACM Press, 2002.
23 things I know about modules for Scheme - Queinnec (2002) (Correct)
No context found.
M. Flatt. Composable and compilable macros: You want it When? In ICFP '2002.
Pointcuts and Advice in Higher-Order Languages - Tucker, Krishnamurthi (2003) (29 citations) (Correct)
No context found.
Matthew Flatt. Composable and compilable macros: You want it when? In ACM SIGPLAN International Conference on Functional Programming, 2002.
Automatically Restructuring Programs for the Web - Jacob Matthews Jacobm (2003) (Correct)
No context found.
Flatt, M.: 2002, `Composable and Compilable Macros: You Want it When?'. In: Proceedings of ACM SIGPLAN International Conference on Functional Programming.
23 things I know about modules for Scheme - Queinnec (2002) (Correct)
No context found.
M. Flatt. Composable and compilable macros: You want it When? In ICFP '2002.
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