| |
Reviews about "Studies Of Program Constructs (F.3.3)":
|
Practical optional types for Clojure
Bonnaire-Sergeant A., Davies R., Tobin-Hochstadt S. ESOP 2016 (Proceedings of the 25th European Symposium on Programming,Apr 2-Apr 8, 2016) 68-94, 2016. Type: Proceedings
|
Foundations of session types and behavioural contracts
Hüttel H., Lanese I., Vasconcelos V., Caires L., Carbone M., Deniélou P., Mostrous D., Padovani L., Ravara A., Tuosto E., Vieira H., Zavattaro G. ACM Computing Surveys 49(1): 1-36, 2016. Type: Article
|
Partial interconnection and observer-based dead-beat control of two-dimensional behaviors
Bisiacco M., Valcher M. Multidimensional Systems and Signal Processing 26(2): 459-479, 2015. Type: Article
|
Recursion: complexity in cognition
Roeper T., Speas M., Springer Publishing Company, Incorporated, New York, NY, 2014. 267 pp. Type: Book (978-3-319050-85-0)
|
A typed store-passing translation for general references
Pottier F. ACM SIGPLAN Notices 46(1): 147-158, 2011. Type: Article
|
 Pearls of functional algorithm design
Bird R., Cambridge University Press, New York, NY, 2010. 290 pp. Type: Book (978-0-521513-38-8)
|
Formally verifying information flow type systems for concurrent and thread systems
Barthe G., Nieto L. Formal methods in security engineering (Proceedings of the 2004 ACM Conference on Formal Methods in Security Engineering, Washington DC, USA, Oct 29, 2004) 13-22, 2004. Type: Proceedings
|
more...
|
|
|
|
