Sciweavers

10575 search results - page 19 / 2115
» T2Script Programming Language
Sort
View
ICFP
2009
ACM
15 years 10 months ago
Beautiful differentiation
Conal M. Elliott
POPL
2009
ACM
15 years 10 months ago
Classical BI: a logic for reasoning about dualising resources
James Brotherston, Cristiano Calcagno