default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPEPM 1999: San Antonio, Texas, USA
- Olivier Danvy:
Proceedings of the 1999 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, San Antonio, Texas, USA, January 22-23, 1999. Technical report BRICS-NS-99-1. University of Aarhus 1999 - Alan Bawden:
Quasiquotation in Lisp. PEPM 1999: 4-12 - Todd L. Veldhuizen:
C++ Templates as Partial Evaluation. PEPM 1999: 13-18 - Torben Æ. Mogensen:
Gödelization in the Untyped lambda-Calculus. PEPM 1999: 19-24 - Morten Rhiger:
Deriving a Statically Typed Type-Directed Partial Evaluator. PEPM 1999: 25-29 - Peter Thiemann:
Interpreting Specialization in Type Theory. PEPM 1999: 30-43 - Sandrine Chirokoff, Charles Consel:
Combining Program and Data Specialization. PEPM 1999: 45-59 - Luke Hornof, Trevor Jim:
Certifying Compilation and Run-Time Code Generation. PEPM 1999: 60-74 - Germán Puebla, Manuel V. Hermenegildo, John P. Gallagher:
An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework. PEPM 1999: 75-84 - Zhenjiang Hu, Masato Takeichi, Hideya Iwasaki:
Diffusion: Calculating Efficient Parallel Programs. PEPM 1999: 85-94 - Mark Tullsen, Paul Hudak:
Shifting Expression Procedures into Reverse. PEPM 1999: 95-104 - Matthew B. Dwyer, John Hatcliff:
Slicing Software for Model Construction. PEPM 1999: 105-118 - Wei-Ngan Chin, Aik-Hui Goh, Siau-Cheng Khoo:
Effective Optimization of Multiple Traversals in Lazy Languages. PEPM 1999: 119-130 - Ralf Lämmel:
Declarative Aspect-Oriented Programming. PEPM 1999: 131-146 - C. Barry Jay:
Partial Evaluation of Shaped Programs: Experience with FISh. PEPM 1999: 147-158
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-22 19:48 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
