A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is application/pdf
.
Dependent type providers
2013
Proceedings of the 9th ACM SIGPLAN workshop on Generic programming - WGP '13
Type providers [16] , pioneered in the F# programming language, are a practical and powerful means of gaining the benefits of a modern static type system when working with data schemas that are defined outside of the programming language, such as relational databases. F# type providers are implemented using a form of compile-time code generation, which requires the compiler to expose an internal API and can undermine type safety. We show that with dependent types it is possible to define a type
doi:10.1145/2502488.2502495
dblp:conf/icfp/Christiansen13
fatcat:dd4v6wvhyffjvcgweubbp6nvli