Ditemukan 2 dokumen yang sesuai dengan query
Ricardo Pena, editor
This book constitutes the refereed post-proceedings of the Second International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2011, held in Madrid, Spain, in May 2011. The 8 revised full papers were carefully reviewed and selected from the papers presented at the workshop and papers submitted following an...
Berlin : [, Springer-Verlag], 2012
e20410058
eBooks Universitas Indonesia Library
Ricardo Pena, editor
This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Symposium on Trends in Functional Programming, TFP 2011, held in Madrid, Spain, in May 2011. The 12 papers presented were carefully reviewed and selected from 21 submissions. They deal with all aspects of functional programming, taking a broad...
Berlin: [, Springer-Verlag], 2012
e20410119
eBooks Universitas Indonesia Library