Opendata, web and dolomites
H2020 projects about "typed"
The page lists 5 projects related to the topic "typed".
| # | |||
|---|---|---|---|
| 1 | WEST-MED Innovation | WEST-MED Innovation Services | 2015 |
| 2 | Skye | A programming language bridging theory and practice for scientific data curation | 2016 |
| 3 | InfTy | Infinitary Rewriting for Type Systems | 2016 |
| 4 | SECOMP | Efficient Formally Secure Compilers to a Tagged Architecture | 2017 |
| 5 | kANNa | Knowledge graph completion using Artificial Neural Networks for Herb-Drug Interaction discovery | 2019 |