Type−indexed data types
Ralf Hinze‚ Johan Jeuring and Andres Löh
Details
| Journal |
Science of Computer Programming |
| Month |
may |
| Number |
1−2 |
| Pages |
117−151 |
| Volume |
51 |
| Year |
2004 |
Links
DOI (10.1016/j.scico.2003.07.001)
Related pages
|
People |
|
|
Activities |