Results 51 to 60 of about 244 (98)
Some of the next articles are maybe not open access.
Proceedings of the third ACM SIGPLAN workshop on Mathematically structured functional programming, 2010
It would not be too much of a stretch to imagine that dependent types will be the next big thing in programming language research. The key benefit is that by allowing types to be indexed by data, it is possible to expose more and more of the structure that lies behind the programs we write.
openaire +1 more source
It would not be too much of a stretch to imagine that dependent types will be the next big thing in programming language research. The key benefit is that by allowing types to be indexed by data, it is possible to expose more and more of the structure that lies behind the programs we write.
openaire +1 more source