Opendata, web and dolomites

H2020 projects about "typed"

The page lists 5 projects related to the topic "typed".

# achronym  title  year 
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