Implementation and Application of Functional Languages (vol. # 3474)
Publication year: 2005
ISBN: 978-3-540-32038-8
Internet Resource: Please Login to download book
The 16th International Workshop on Implementation and Application of Fu- tional Languages (IFL 2004) was held in Lub ¨ eck, Germany, September 8–10, 2004. It was jointly organized by the Institute of Computer Science and Applied Mathematics of the University of Kiel and the Institute of Software Technology and Programming Languages of the University of Lub ¨ eck. IFL 2004 was the sixteenth event in the annual series of IFL workshops. The aim of the workshop series is to bring together researchers actively engaged in the implementation and application of functional and function-based progr- ming languages. It provides an open forum for researchers who wish to present and discuss new ideas and concepts, work in progress, preliminary results, etc., related primarily, but not exclusively, to the implementation and application of functional languages. Topics of interest cover a wide range from theoretical - pects over language design and implementation towards applications and tool support.
Subject: Computer Science, .NET, ML, ML programming, function-based programming, functional logic computation, functional programming, functional programming languages, functional theorem proving, logic, programming, programming languages implementation, reduction, virtual machines
