Modification date 26 June 2014 03:45:09
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:09".
Since there have been only a few results, also nearby values are displayed.
- 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)
- 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:Resource-Aware Programming - Invited paper + (26 June 2014 03:45:06)
- Publications:Multi-Stage Programming : Axiomatization and Type-Safety + (26 June 2014 03:45:06)
- Publications:Some Challenges for Model-Based Simulation + (26 June 2014 03:45:07)
- Publications:The Trouble with Real Numbers + (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:Tag Elimination and Jones-Optimality + (26 June 2014 03:45:12)
- Publications:Environment Classifiers + (26 June 2014 03:45:12)
- Publications:Modeling Basic Aspects of Cyber-Physical Systems + (26 June 2014 03:45:13)
- Publications:Static Consistency Checking for Verilog Wire Interconnects + (26 June 2014 03:45:13)
- Publications:Multi-Stage Programming with Explicit Annotations + (26 June 2014 03:45:14)
- Publications:MetaML and multi-stage programming with explicit annotations + (26 June 2014 03:45:14)
