Stable GADT constructor syntax in Haskell
Generalized Algebraic Data Types for GHC (#402)
ProjectID
Haskell-GADT-GHC.402
Acronym
Haskell-GADT-GHC.402
Additional Info
Not available yet
Enduser Relevance
Not available yet
Contact
https://nlnet.nl/contact/
Endorsements
Not available yet
Disclaimer
Not available yet
Country: France
NGI Project: NGI Zero Commons Fund
Status: Early research demo
Category: Software engineering, protocols, interoperability, cryptography, algorithms, proofs
check other similar innovations
Geographic tagging of Routing and Forwarding
Geographic tagging and discovery of Internet Routing and Forwarding
STiRr lArge neTworks and User Management STRATUM
The STRATUM experiment is based on new markets that are rapidly growing thanks to the use of SDN and SD-WAN...
Extending PeerTube
Adding advanced search capabailities to PeerTube
Choreographic Programming: From Theory To Practice
Generating a standard library of core distributed algorithms with formal proofs