TY - BOOK ID - 21584161 TI - Implementation of Functional Languages : 12th International Workshop, IFL 2000 Aachen, Germany, September 4-7, 2000. Selected Papers AU - Mohnen, Markus. AU - Koopman, Pieter. AU - International Workshop on the Implementation of Functional Languages PY - 2001 VL - 2011 SN - 3540419195 9783540419198 354045361X PB - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, DB - UniCat KW - Computer science. KW - Computer programming. KW - Programming languages (Electronic computers). KW - Computer logic. KW - Computer Science. KW - Programming Languages, Compilers, Interpreters. KW - Programming Techniques. KW - Logics and Meanings of Programs. KW - Functional programming languages KW - Logic design. KW - Design, Logic KW - Design of logic systems KW - Digital electronics KW - Electronic circuit design KW - Logic circuits KW - Machine theory KW - Switching theory KW - Informatics KW - Science KW - Computer science logic KW - Logic, Symbolic and mathematical KW - Computers KW - Electronic computer programming KW - Electronic data processing KW - Electronic digital computers KW - Programming (Electronic computers) KW - Coding theory KW - Computer languages KW - Computer program languages KW - Computer programming languages KW - Machine language KW - Languages, Artificial KW - Programming KW - Functional programming languages - Congresses KW - Programming languages (Electronic computers) UR - https://www.unicat.be/uniCat?func=search&query=sysid:21584161 AB - ER -