Page, Rex.
Trends in Functional Programming 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers / [electronic resource] : edited by Rex Page, Zoltán Horváth, Viktória Zsók. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - digital. - Lecture Notes in Computer Science, 6546 0302-9743 ; . - Lecture Notes in Computer Science, 6546 .
9783642229411
10.1007/978-3-642-22941-1 doi
Computer science.
Software engineering.
Logic design.
Computer Science.
Programming Languages, Compilers, Interpreters.
Programming Techniques.
Logics and Meanings of Programs.
Software Engineering.
Mathematical Logic and Formal Languages.
QA76.7-76.73 QA76.76.C65
005.13
Trends in Functional Programming 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers / [electronic resource] : edited by Rex Page, Zoltán Horváth, Viktória Zsók. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - digital. - Lecture Notes in Computer Science, 6546 0302-9743 ; . - Lecture Notes in Computer Science, 6546 .
9783642229411
10.1007/978-3-642-22941-1 doi
Computer science.
Software engineering.
Logic design.
Computer Science.
Programming Languages, Compilers, Interpreters.
Programming Techniques.
Logics and Meanings of Programs.
Software Engineering.
Mathematical Logic and Formal Languages.
QA76.7-76.73 QA76.76.C65
005.13