Functional programming

A programming logic based on type theory / Erik Pollschema:ProductModel Building product populations with software components / Robbert Christiaan van Ommeringschema:ProductModel Building product populations with software components / Robbert Christiaan van Ommeringschema:ProductModel Concepten van programmeertalen / F.J. Westerschema:ProductModel Efficient functional programming : compilation and programming techniques / Eric Gottfried Joseph Maria Hendrik Nöckerschema:ProductModel Functies gaan het maken! / M.J. Plasmeijerschema:ProductModel Functional programming, program transformations and compiler construction / Alexander Augusteijnschema:ProductModel Functional programs as executable specifications / Petrus Wilhelmus Maria Koopmanschema:ProductModel Functional techniques in concurrency / Mieke Massinkschema:ProductModel Graph reduction on shared-memory multiprocessors / K.G. Langendoenschema:ProductModel Graph reduction on shared-memory multiprocessors / Koendert Gustaaf Langendoenschema:ProductModel Interactive functional programs : models, methods, and implementation / Peter Martinus Achtenschema:ProductModel Intersection type disciplines in Lambda Calculus and applicative term rewriting systems / Stephanus Johannes van Bakelschema:ProductModel Preservation of termination for explicit substitution / Carolus Johannes Blooschema:ProductModel Software measurement and functional programming / Klaas Gerrit van den Bergschema:ProductModel The (lazy) functional side of logic programming / S. Etalle and J. Mountjoyschema:ProductModel The design of functional programs : a calculational approach / Robert Richard Hoogerwoordschema:ProductModel The use of functional programming in software development / Stephanus Maria Mathias Joostenschema:ProductModel