Modification date 26 June 2014 03:44:57
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:57".
Since there have been only a few results, also nearby values are displayed.
- Publications:Implicitly Heterogeneous Multi-stage Programming + (26 June 2014 03:44:50)
- Publications:Concoqtion : Indexed Types Now! + (26 June 2014 03:44:51)
- Publications:The Semantics of Graphical Languages + (26 June 2014 03:44:51)
- Publications:Macros as Multi-Stage Computations : Type-Safe, Generative, Binding Macros in MacroML + (26 June 2014 03:44:52)
- Publications:Synthesizable high level hardware descriptions : using statically typed two-level languages to guarantee verilog synthesizability + (26 June 2014 03:44:53)
- Publications:Synthesizable High Level Hardware Descriptions + (26 June 2014 03:44:53)
- Publications:Reasoning About Multi-Stage Programs + (26 June 2014 03:44:54)
- Publications:E-FRP with Priorities + (26 June 2014 03:44:54)
- 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:Static Consistency Checking for Verilog Wire Interconnects : Using Dependent Types to Check the Sanity of Verilog Descriptions + (26 June 2014 03:44:58)
- Publications:Tagless Staged Interpreters for Typed Languages + (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:A Sound Reduction Semantics for Untyped CBN Multi-Stage Computation. : Or, the Theory of MetaML is Non-trivial + (26 June 2014 03:45:02)
