Modification date 26 June 2014 03:45:01
From CERES
A list of all pages that have property "Modification dateThis property is a special property in this wiki." with value "26 June 2014 03:45:01".
Since there have been only a few results, also nearby values are displayed.
- Publications:A Methodology for Generating Verified Combinatorial Circuits + (26 June 2014 03:44:55)
- Publications:Relating FFTW and Split-Radix + (26 June 2014 03:44:55)
- Publications:Preface + (26 June 2014 03:44:56)
- Publications:Idealized MetaML : Simpler, and More Expressive + (26 June 2014 03:44:57)
- Publications:Towards a Primitive Higher Order Calculus of Broadcasting Systems + (26 June 2014 03:44:57)
- Publications:Tagless Staged Interpreters for Typed Languages + (26 June 2014 03:44:58)
- Publications:Static Consistency Checking for Verilog Wire Interconnects : Using Dependent Types to Check the Sanity of Verilog Descriptions + (26 June 2014 03:44:58)
- Publications:Static Consistency Checking for Verilog Wire Interconnects : Using dependent types to check the sanity of verilog descriptions + (26 June 2014 03:44:59)
- Publications:Exploring the Design Space of Higher-Order Casts + (26 June 2014 03:44:59)
- Publications:Gradual Typing for Functional Languages + (26 June 2014 03:45:00)
- Publications:Gradual typing for objects + (26 June 2014 03:45:00)
- Publications:A Monadic Approach for Avoiding Code Duplication when Staging Memoized Functions + (26 June 2014 03:45:01)
- Publications:A Semantic Analysis of C++ Templates + (26 June 2014 03:45:01)
- Publications:A Sound Reduction Semantics for Untyped CBN Multi-Stage Computation. : Or, the Theory of MetaML is Non-trivial + (26 June 2014 03:45:02)
- Publications:Domain-Specific Languages + (26 June 2014 03:45:02)
- Publications:Multi-Stage Programming : Its Theory and Applications + (26 June 2014 03:45:03)
- Publications:A Gentle Introduction to Multi-stage Programming, Part II + (26 June 2014 03:45:04)
- Publications:Semantics, Applications and Implementation of Program Generation : International Workshop, SAIG 2000 Montreal, Canada, September 20, 2000 Proceedings + (26 June 2014 03:45:04)
- Publications:Semantics, applications, and implementation of program generation : second international workshop, SAIG 2001, Florence, Italy, September 6, 2001 00 : proceedings + (26 June 2014 03:45:05)
- Publications:Special issue of the Journal of Functional Programming on the Semantics, Applications, and Implementation of Program Generation + (26 June 2014 03:45:05)
- Publications:Multi-Stage Programming : Axiomatization and Type-Safety + (26 June 2014 03:45:06)
- Publications:Resource-Aware Programming - Invited paper + (26 June 2014 03:45:06)
