Citation Context

...of use. Type-directed partial evaluation wassrst developed in Scheme, and amounted to achieving specialization by Scheme evaluation [14{16]. Andrzej Filinski, and then Zhe Yang [59] and Morten Rhiger =-=[49, 50]-=- found how to express it in a Hindley-Milner type setting, i.e., in ML and in Haskell, thus achieving specialization by ML and Haskell evaluation. In addition, the Hindley-Milner typing system ensures...

Citation Context

...a waste of the memory (for storing the intermediate data structure) and the time (for traversing it by pattern matching). We can remove the overhead by composing the constructors with the destructors =-=[13, 15]-=-. fun rHAbs f = HAbs(fn x =? f x) fun rHApp(t1, t2) = let val t1' = t1 val t2' = t2 in (case t1' of HAbs f =? f t2' ---s=? HApp(t1', t2')) end We can simplify these composed constructors by j-reductio...

Citation Context

...The present work was carried out in the fall of 1997 and, according to Olivier Danvy, it is the third independent implementation of type-directed partial evaluation in a Hindley-Milner typed language =-=[7-=-]. Kristoer Rose implemented type-directed partial evaluation in Haskell in the spring of 1998 using type classes [8]. Haskell's type classes permit overloaded functions, i.e., functions that have sev...

Citation Context

...y more powerful and yield strictly better results than traditional methods. To match these results, a traditional partial evaluator must revert to multiple passes including aggressive post-processing =-=[39]-=-. The rest of the paper is structured as follows. In Sec. 2 we introduce traditional partial evaluation as well as TDPE. Section 3 formulates important aspects of specialization and puts them into per...

Citation Context

...typed language such as ML or Haskell. The author answered the challenge in 1996, which, according to Danvy, is the first solution after Filinski’s. The third person to have solved it is Morten Rhiger =-=[26]-=-. Since then, Kristoffer Rose has programmed it in Haskell, using type classes [27]. An interesting common pattern shared by type-directed partial evaluation and the embedding/projection-based approac...

Citation Context

...d, are hygienic macros 2 where abstract syntax is accessed by pattern matching. In this section, we briefly present a domain-specific language over residual terms, designed jointly with Morten Rhiger =-=[34]-=-. This language follows Kohlbecker and Dybvig’s lead, with a special form case-syntax (see Figure 5) providing access to residual terms by pattern matching. Dynamic versions of primitive operators are...