This book is the proceedings of a conference on functional programming. Topics include type inference, novel ways to exploit type information, partial evaluation, handling states in functional languages, and high-performance implementations.
John Hughes
Evaluation Parallele Architekturen Partial Evaluation Partielle Evaluation Programmiersprache Semantik von computer computer architecture functional programming logic programming programming language