Verifying replicated data types with typeclass refinements in Liquid Haskell.
Yiyun LiuJames ParkerPatrick RedmondLindsey KuperMichael HicksNiki VazouPublished in: Proc. ACM Program. Lang. (2020)
Keyphrases
- data types
- data structure
- programming language
- functional programming
- database systems
- data model
- user defined
- database management systems
- database server
- abstract data types
- back end
- data mining
- microsoft sql server
- database objects
- relational model
- database design
- object oriented
- data formats
- real world
- data manipulation language