Metasepi team meeting #16: Safety on ATS language + MCU
Ajhc Haskell Compiler with Reentrant GC
Vision Manual
A exception ekon16
OSGi Community Event 2010 - Using OSGi for the realization of home automation systems
Slides
Makino Pro3 Progmanual
Ownership Types for Safe Programming: Preventing Data Races and Deadlocks Chandrasekhar Boyapati Robert Lee Martin Rinard Laboratory for Computer Science.
Ownership Types for Safe Programming: Preventing Data Races and Deadlocks
Cyclone: Safe Programming at the C Level of Abstraction
EMCO Industrial Training
