Year 2000
From CERES
A list of all pages that have property "Year" with value "2000"
- Publications:A Sound Reduction Semantics for Untyped CBN Multi-Stage Computation. : Or, the Theory of MetaML is Non-trivial +
- Publications:A scalable and pipelined embedded signal processing system using optical hypercube interconnects +
- Publications:Closed Types as a Simple Approach to Safe Imperative Multi-Stage Programming +
- Publications:Deadline dependent coding-a framework for wireless real-time communication +
- Publications:Guaranteed periodic real-time communication over wormhole switched networks +
- Publications:MetaML and multi-stage programming with explicit annotations +
- Publications:Semantics, Applications and Implementation of Program Generation : International Workshop, SAIG 2000 Montreal, Canada, September 20, 2000 Proceedings +
- Publications:Tag Elimination - or - Type Specialisation is a Type-Indexed Effect +
