Modification date 26 June 2014 03:45:12
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:12".
Since there have been only a few results, also nearby values are displayed.
- 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)
- Publications:The Trouble with Real Numbers + (26 June 2014 03:45:07)
- Publications:Some Challenges for Model-Based Simulation + (26 June 2014 03:45:07)
- Publications:A First Course on Cyber Physical Systems + (26 June 2014 03:45:08)
- Publications:A New Approach to Data Mining for Software Design + (26 June 2014 03:45:08)
- Publications:Generating Heap-bounded Programs in a Functional Setting + (26 June 2014 03:45:09)
- Publications:Directions in Functional Programming for Real(-Time) Applications + (26 June 2014 03:45:10)
- Publications:The Anatomy of a Component Generator + (26 June 2014 03:45:10)
- Publications:Tag Elimination - or - Type Specialisation is a Type-Indexed Effect + (26 June 2014 03:45:11)
- Publications:Staged Notational Definitions + (26 June 2014 03:45:11)
- Publications:Environment Classifiers + (26 June 2014 03:45:12)
- Publications:Tag Elimination and Jones-Optimality + (26 June 2014 03:45:12)
- Publications:Static Consistency Checking for Verilog Wire Interconnects + (26 June 2014 03:45:13)
- Publications:Modeling Basic Aspects of Cyber-Physical Systems + (26 June 2014 03:45:13)
- Publications:MetaML and multi-stage programming with explicit annotations + (26 June 2014 03:45:14)
- Publications:Multi-Stage Programming with Explicit Annotations + (26 June 2014 03:45:14)
- Publications:How to add laziness to a strict language without even being odd + (26 June 2014 03:45:15)
- Publications:Real-Time FRP + (26 June 2014 03:45:16)
- Publications:Event-Driven FRP + (26 June 2014 03:45:16)
- Publications:Mint : Java Multi-stage Programming Using Weak Separability + (26 June 2014 03:45:17)
- Publications:Implementing Haptic Feedback Environments from High-level Descriptions + (26 June 2014 03:45:17)
