|
Conferences in DBLP
- Alan Bawden
Quasiquotation in Lisp. [Citation Graph (0, 0)][DBLP] PEPM, 1999, pp:4-12 [Conf]
- Todd L. Veldhuizen
C++ Templates as Partial Evaluation. [Citation Graph (0, 0)][DBLP] PEPM, 1999, pp:13-18 [Conf]
- Torben Æ. Mogensen
Gödelization in the Untyped lambda-Calculus. [Citation Graph (0, 0)][DBLP] PEPM, 1999, pp:19-24 [Conf]
- Morten Rhiger
Deriving a Statically Typed Type-Directed Partial Evaluator. [Citation Graph (0, 0)][DBLP] PEPM, 1999, pp:25-29 [Conf]
- Peter Thiemann
Interpreting Specialization in Type Theory. [Citation Graph (0, 0)][DBLP] PEPM, 1999, pp:30-43 [Conf]
- Sandrine Chirokoff, Charles Consel
Combining Program and Data Specialization. [Citation Graph (0, 0)][DBLP] PEPM, 1999, pp:45-59 [Conf]
- Luke Hornof, Trevor Jim
Certifying Compilation and Run-Time Code Generation. [Citation Graph (0, 0)][DBLP] PEPM, 1999, pp:60-74 [Conf]
- Germán Puebla, Manuel V. Hermenegildo, John P. Gallagher
An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework. [Citation Graph (0, 0)][DBLP] PEPM, 1999, pp:75-84 [Conf]
- Zhenjiang Hu, Masato Takeichi, Hideya Iwasaki
Diffusion: Calculating Efficient Parallel Programs. [Citation Graph (0, 0)][DBLP] PEPM, 1999, pp:85-94 [Conf]
- Mark Tullsen, Paul Hudak
Shifting Expression Procedures into Reverse. [Citation Graph (0, 0)][DBLP] PEPM, 1999, pp:95-104 [Conf]
- Matthew B. Dwyer, John Hatcliff
Slicing Software for Model Construction. [Citation Graph (0, 0)][DBLP] PEPM, 1999, pp:105-118 [Conf]
- Wei-Ngan Chin, Aik-Hui Goh, Siau-Cheng Khoo
Effective Optimization of Multiple Traversals in Lazy Languages. [Citation Graph (0, 0)][DBLP] PEPM, 1999, pp:119-130 [Conf]
- Ralf Lämmel
Declarative Aspect-Oriented Programming. [Citation Graph (0, 0)][DBLP] PEPM, 1999, pp:131-146 [Conf]
- C. Barry Jay
Partial Evaluation of Shaped Programs: Experience with FISh. [Citation Graph (0, 0)][DBLP] PEPM, 1999, pp:147-158 [Conf]
|