Hage, Jurriaan.
Implementation and Application of Functional Languages 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers / [electronic resource] : edited by Jurriaan Hage, Marco T. Morazán. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - digital. - Lecture Notes in Computer Science, 6647 0302-9743 ; . - Lecture Notes in Computer Science, 6647 .
9783642242762
10.1007/978-3-642-24276-2 doi
Computer science.
Software engineering.
Logic design.
Computer Science.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Software Engineering.
Mathematical Logic and Formal Languages.
Programming Techniques.
QA76.9.L63 QA76.5913 QA76.63
005.1015113
Implementation and Application of Functional Languages 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers / [electronic resource] : edited by Jurriaan Hage, Marco T. Morazán. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - digital. - Lecture Notes in Computer Science, 6647 0302-9743 ; . - Lecture Notes in Computer Science, 6647 .
9783642242762
10.1007/978-3-642-24276-2 doi
Computer science.
Software engineering.
Logic design.
Computer Science.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Software Engineering.
Mathematical Logic and Formal Languages.
Programming Techniques.
QA76.9.L63 QA76.5913 QA76.63
005.1015113