Search results for "multi-stage programming"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Edwin M. Westbrook, Mathias Ricken, Jun Inoue, Yilong Yao, Tamer Abdelatif, Walid Taha	Mint: Java multi-stage programming using weak separability.	PLDI	2010	DBLP DOI BibTeX RDF	multi-staged languages, java, type systems, multi-stage programming
3	Jason Eckhardt, Roumen Kaiabachev, Emir Pasalic, Kedar N. Swadi, Walid Taha	Implicitly Heterogeneous Multi-Stage Programming.	New Generation Comput.	2007	DBLP DOI BibTeX RDF	Functional Programming, Multi-Stage Programming
2	Edwin Brady, Kevin Hammond	A verified staged interpreter is a verified compiler.	GPCE	2006	DBLP DOI BibTeX RDF	domain specific language implementation, resource aware programming, functional programming, partial evaluation, dependent types, multi-stage programming
2	Jacques Carette, Oleg Kiselyov	Multi-stage Programming with Functors and Monads: Eliminating Abstraction Overhead from Generic Code.	GPCE	2005	DBLP DOI BibTeX RDF
2	Jason Eckhardt, Roumen Kaiabachev, Emir Pasalic, Kedar N. Swadi, Walid Taha	Implicitly Heterogeneous Multi-stage Programming.	GPCE	2005	DBLP DOI BibTeX RDF
2	Walid Taha	A Gentle Introduction to Multi-stage Programming.	Domain-Specific Program Generation	2003	DBLP DOI BibTeX RDF
2	Emir Pasalic, Walid Taha, Tim Sheard	Tagless staged interpreters for typed languages.	ICFP	2002	DBLP DOI BibTeX RDF	calculus of constructions, definitional interpreters, domain-specific languages, multi-stage programming
2	Cristiano Calcagno, Eugenio Moggi, Walid Taha	Closed Types as a Simple Approach to Safe Imperative Multi-stage Programming.	ICALP	2000	DBLP DOI BibTeX RDF
2	Walid Taha, Zine-El-Abidine Benaissa, Tim Sheard	Multi-Stage Programming: Axiomatization and Type Safety.	ICALP	1998	DBLP DOI BibTeX RDF
2	Walid Taha, Tim Sheard	Multi-Stage Programming with Explicit Annotations.	PEPM	1997	DBLP DOI BibTeX RDF
1	Jacques Carette, Oleg Kiselyov	Multi-stage programming with functors and monads: Eliminating abstraction overhead from generic code.	Sci. Comput. Program.	2011	DBLP DOI BibTeX RDF
1	Jeremy G. Siek	General purpose languages should be metalanguages.	PEPM	2010	DBLP DOI BibTeX RDF	domain-specific embedded languages, reflection, metaprogramming, multi-stage programming
1	Silvia Clerici, Cristina Zoltan	A dynamically customizable process-centered evaluation model.	PPDP	2009	DBLP DOI BibTeX RDF	computation model, functional languages
1	Walid Taha	A Gentle Introduction to Multi-stage Programming, Part II.	GTTSE	2007	DBLP DOI BibTeX RDF
1	Marcos Viera, Alberto Pardo	A multi-stage language with intensional analysis.	GPCE	2006	DBLP DOI BibTeX RDF	intensional analysis, reflection, dynamics, multi-stage programming
1	Kedar N. Swadi, Walid Taha, Oleg Kiselyov, Emir Pasalic	A monadic approach for avoiding code duplication when staging memoized functions.	PEPM	2006	DBLP DOI BibTeX RDF	partial evaluation, monads, fixed points, program generation, program specialization, staging, multi-stage programming, code duplication
1	Oleg Kiselyov, Kedar N. Swadi, Walid Taha	A methodology for generating verified combinatorial circuits.	EMSOFT	2004	DBLP DOI BibTeX RDF	abstract interpretation, multi-stage programming
1	Miguel Guerrero, Edward Pizzi, Robert Rosenbaum, Kedar N. Swadi, Walid Taha	Implementing DSLs in metaOCaml.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	staged interpreters, program generation, multi-stage programming
1	Walid Taha, Michael Florentin Nielsen	Environment classifiers.	POPL	2003	DBLP DOI BibTeX RDF	type systems, modal logic, type safety, linear temporal logic, multi-stage programming
1	Eugenio Moggi, Sonia Fagorzi	A Monadic Multi-stage Metalanguage.	FoSSaCS	2003	DBLP DOI BibTeX RDF
1	Steven E. Ganz, Amr Sabry, Walid Taha	Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML.	ICFP	2001	DBLP DOI BibTeX RDF	ML
1	Gian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese	MetaKlaim: Meta-programming for Global Computing.	SAIG	2001	DBLP DOI BibTeX RDF
1	Walid Taha, Tim Sheard	MetaML and multi-stage programming with explicit annotations.	Theor. Comput. Sci.	2000	DBLP DOI BibTeX RDF
1	Cristiano Calcagno, Eugenio Moggi	Multi-Stage Imperative Languages: A Conservative Extension Result.	SAIG	2000	DBLP DOI BibTeX RDF
1	Walid Taha, Tim Sheard	Multi-Stage Programming.	ICFP	1997	DBLP DOI BibTeX RDF	ML