The following pages link to Yannis Smaragdakis (Q532401):
Displaying 12 items.
- Statically safe program generation with SafeGen (Q532402) (← links)
- Adaptive locks: combining transactions and locks for efficient concurrency (Q666229) (← links)
- (Q3046735) (← links)
- (Q4417640) (← links)
- (Q4434018) (← links)
- (Q4738408) (← links)
- (Q4738865) (← links)
- FC++: Functional tools for object-oriented tasks (Q4791026) (← links)
- Stream fusion, to completeness (Q5370864) (← links)
- Pick your contexts well (Q5408528) (← links)
- Static Analysis (Q5466574) (← links)
- Functional programming with the FC++ library (Q5692155) (← links)
