Yannis Smaragdakis
From MaRDI portal
Person:532401
Available identifiers
zbMath Open smaragdakis.yannisMaRDI QIDQ532401
List of research outcomes
 | This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| Publication | Date of Publication | Type |
|---|---|---|
| Stream fusion, to completeness | 2017-10-20 | Paper |
| Pick your contexts well | 2014-04-10 | Paper |
| Adaptive locks: combining transactions and locks for efficient concurrency | 2012-03-07 | Paper |
| Statically safe program generation with SafeGen | 2011-05-04 | Paper |
| Functional programming with the FC++ library | 2005-09-27 | Paper |
| Static Analysis | 2005-08-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3046735 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738865 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738408 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4434018 | 2003-11-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417640 | 2003-07-29 | Paper |
| FC++: Functional tools for object-oriented tasks | 2003-02-04 | Paper |
Research outcomes over time
This page was built for person: Yannis Smaragdakis
