Modification date 26 June 2014 03:44:59
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:44:59".
Since there have been only a few results, also nearby values are displayed.
- Publications:Synthesizable High Level Hardware Descriptions + (26 June 2014 03:44:53)
- Publications:Synthesizable high level hardware descriptions : using statically typed two-level languages to guarantee verilog synthesizability + (26 June 2014 03:44:53)
- Publications:E-FRP with Priorities + (26 June 2014 03:44:54)
- Publications:Reasoning About Multi-Stage Programs + (26 June 2014 03:44:54)
- Publications:Relating FFTW and Split-Radix + (26 June 2014 03:44:55)
- Publications:A Methodology for Generating Verified Combinatorial Circuits + (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:Exploring the Design Space of Higher-Order Casts + (26 June 2014 03:44:59)
- 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:Gradual typing for objects + (26 June 2014 03:45:00)
- Publications:Gradual Typing for Functional Languages + (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:Domain-Specific Languages + (26 June 2014 03:45:02)
- 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:Multi-Stage Programming : Its Theory and Applications + (26 June 2014 03:45:03)
- 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:A Gentle Introduction to Multi-stage Programming, Part II + (26 June 2014 03:45:04)