A language-based approach to functionally correct imperative programming.
| Autor: | Westbrook, Edwin, Stump, Aaron, Wehrman, Ian |
|---|---|
| Zdroj: | Proceedings of the Tenth ACM SIGPLAN International Conference: Functional Programming; 9/26/2005, p268-279, 12p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|