Ricardo Rocha, John Launchbury (Eds.):
Practical Aspects of Declarative Languages - 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings.
Lecture Notes in Computer Science 6539 Springer 2011, ISBN 978-3-642-18377-5
Invited Talks
Roope Kaivola: Intel CoreTM i7 Processor Execution Engine Validation in a Functional Language Based Formal Framework.
1
Raymond J. Mooney: Learning Language from Its Perceptual Context.
2-4
data released under the ODC-BY 1.0 license
