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 |