- Implementing Multistage Languages Using ASTs, Gensym, and Reflection #
- Towards a Primitive Higher Order Calculus of Broadcasting Systems
- MetaML and MultiStage Programming with Explicit Annotations ?
- A Gentle Introduction to Multi-stage Programming
- Multi-Stage Programming: Its Theory and Applications
- Environment Classifiers Extended Abstract
- Runtime Tag Elimination. (Extended Abstract)
- Implicitly Heterogeneous Multi-Stage Programming
- Tag Elimination and Jones-Optimality Taha, Makholm and Hughes
- Tagless Staged Interpreters for Typed Languages Emir Pasalic
- RealTime FRP Zhanyong Wan Walid Taha y Paul Hudak
- Tagless Staged Interpreters for Typed Languages Emir Pa sali c
- A Gentle Introduction to Multi-stage Programming ?
- ResourceAware Programming # Invited Paper
- Macros as MultiStage Computations: TypeSafe, Generative, Binding Macros in MacroML #
- Implicitly Heterogeneous MultiStage Programming #
- Implementing Multi-stage Languages Using ASTs, Gensym, and Reflection
- Event-Driven FRP Zhanyong Wan, Walid Taha, and Paul Hudak
- Mathematical Equations as Executable Models of Mechanical Systems
- In Pursuit of Real Answers Angela Yun Zhu, Walid Taha, Robert Cartwright
- Static Consistency Checking for Verilog Wire Interconnects Using Dependent Types to Check the Sanity of Verilog Descriptions
- Synthesizable High Level Hardware Descriptions Using Statically Typed Two-Level Languages to Guarantee Verilog Synthesizability
- E-FRP With Priorities Roumen Kaiabachev
- A Gentle Introduction to Multi-stage Programming, Part II
- The Semantics of Graphical Languages Stephan Ellner
- A Graphical Multi-stage Calculus Stephan Ellner
- Staging Dynamic Programming Algorithms Kedar Swadi
- Implicitly Heterogeneous Multi-Stage Programming 1 Implicitly Heterogeneous Multi-Stage Pro-
- A New Approach to Data Mining for Software Design Walid Taha, Scott Crosby, Kedar Swadi
- ML-like Inference for Classifiers Cristiano Calcagno1
- Environment Classifiers Extended Abstract
- Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML
- Extended Abstract The Anatomy of a Component Generator 01/27/98 1
- A First-Class Approach to Genericity Rice University
- Domain-Specific Languages Department of Computer Science
- Tag Elimination and Jones-Optimality (Includes Proofs)
- Staging Dynamic Programming Algorithms Kedar Swadi
- Towards a Primitive Higher Order Calculus of Broadcasting Systems
- Relating FFTW and SplitRadix # Oleg Kiselyov 1 and Walid Taha 2
- Directions in Functional Programming for Real(-Time) Applications
- ML-like Inference for Classi ers Cristiano Calcagno 1 , Eugenio Moggi 2? , and Walid Taha 3??
- A Monadic Approach for Avoiding Code Duplication when Staging Memoized Functions
- Closed Types as a Simple Approach to Safe Imperative MultiStage Programming
- A Sound Reduction Semantics for untyped CBN MultiStage Computation.
- Implementing Haptic Feedback Environments from High-level Descriptions Angela Yun Zhu, Jun Inoue, Marisa Linnea Peralta, Walid Taha
- Implicitly Heterogeneous MultiStage Programming #
- Relating FFTW and Split-Radix Oleg Kiselyov1
- Resource-Aware Programming Invited Paper
- Directions in Functional Programming for Real(Time) Applications ?
- A Sound Reduction Semantics for Untyped CBN MultiStage Computation.
- Implicitly Heterogeneous Multi-Stage Programming
- Staged Notational Definitions Walid Taha 1
- MiniMetaML with References Cristiano Calcagno 1 , Eugenio Moggi 1? , and Walid Taha 2??
- A Monadic Approach for Avoiding Code Duplication when Staging Memoized Functions #
- A New Approach to Data Mining for Software Design # Walid Taha, Scott Crosby, Kedar Swadi
- Generating Heapbounded Programs in a Functional Setting #
- Generating Heap-bounded Programs in a Functional Setting
- Macros as MultiStage Computations: TypeSafe, Generative, Binding Macros in MacroML
- How to add laziness to a strict language without even being odd
- Towards a Primitive Higher Order Calculus of Broadcasting Systems
- Towards a Primitive Higher Order Calculus of Broadcasting Systems
- DSL Implementation in MetaOCaml, Template Haskell, and C++
- A Methodology for Generating Verified Combinatorial Circuits
- DSL Implementation in MetaOCaml, Template Haskell, and C++
- Relating FFTW and Split-Radix? Oleg Kiselyov1 and Walid Taha2
- Mini-MetaML with References Cristiano Calcagno1, Eugenio Moggi1?, and Walid Taha2??
- Directions in Functional Programming for Real(-Time) Applications?
- Tag Elimination and Jones-Optimality (Includes Proofs)
- Environment Classi#ers Extended Abstract
- Implementing Multi-stage Languages Using ASTs, Gensym, and Reflection ?
- Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML*
- Event-Driven FRP? Zhanyong Wan, Walid Taha, and Paul Hudak
- A Monadic Approach for Avoiding Code Duplication when Staging Memoized Functions *
- Real-Time FRP* Zhanyong Wan Walid Tahay Paul Hudak
- A New Approach to Data Mining for Software Design* Walid Taha, Scott Crosby, Kedar Swadi
- Towards a Primitive Higher Order Calculus of Broadcasting Systems
- Closed Types as a Simple Approach to Safe Imperative Multi-Stage Programming
- Resource-Aware Programming? Invited Paper
- ML-like Inference for Classifiers Cristiano Calcagno1, Eugenio Moggi2?, and Walid Taha3??
- MultiStage Programming with Explicit Annotations Walid Taha & Tim Sheard
- An Idealized MetaML: Simpler, and More Expressive ?
- Extended Abstract The Anatomy of a Component Generator 01/27/98 1
- A Methodology for Generating Verified Combinatorial Circuits #
- Logical Modalities and MultiStage Programming Zine ElAbidine Benaissa \Lambda (1), Eugenio Moggi y (2), Walid Taha \Lambda (1), Tim Sheard \Lambda (1)
- 0 21345#65687@9#AB4CDEGF HPIRQTSVU#WXIRY`Iba
- A Sound Reduction Semantics for untyped CBN Multi-Stage Computation.
- Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML
- Tag Elimination and Jones-Optimality (Preliminary Report)
- How to add laziness to a strict language without even being odd
- Generating Heap-bounded Programs in a Functional Setting?
- Logical Modalities and Multi-Stage Programming Zine El-Abidine Benaissa*(1), Eugenio Moggiy(2), Walid Taha* (1), Tim Shea*
- Staged Notational Definitions Walid Taha?1 and Patricia Johann2
- A Gentle Introduction to Multi-stage Programming?
- A Sound Reduction Semantics for Untyped CBN Multi-Stage Computation.
- Implicitly Heterogeneous Multi-Stage Programming?
- Staging Dynamic Programming Algorithms Kedar Swadi Walid Taha Oleg Kiselyov
- Tag Elimination and Jones-Optimality Taha, Makholm and Hughes
- Tag Elimination and Jones-Optimality (Preliminary Report)
- Staged Notational Definitions Walid Taha #1 and Patricia Johann 2
- Event-Driven FRP ? Zhanyong Wan, Walid Taha, and Paul Hudak
- Towards a Primitive Higher Order Calculus of Broadcasting Systems
- Tagless Staged Interpreters for Typed Languages Emir Pa~sali'c Walid Tahay Tim Sheardz
- Implicitly Heterogeneous Multi-Stage Programming?
- A Methodology for Generating Veri#ed Combinatorial Circuits*
- Concoqtion: Indexed Types Now! Seth Fogarty
