Functional Programming Languages and Computer Architecture: 5th ACM Conference. Cambridge, MA, USA, August 26-30, 1991 Proceedings - Softcover

 
Image Not Available
Softcover
ISBN 10: 366218706X ISBN 13: 9783662187067
Publisher: Springer, 2014

This specific ISBN edition is currently not available.

Synopsis

Type classes and overloading resolution via order-sorted unification.- On the complexity of ML typability with overloading.- Coercive type isomorphism.- Compiler-controlled multithreading for lenient parallel languages.- Multi-thread code generation for dataflow architectures from non-strict programs.- GAML: A parallel implementation of lazy ML.- Functional programming with bananas, lenses, envelopes and barbed wire.- A strongly-typed self-applicable partial evaluator.- Automatic online partial evaluation.- Assignments for applicative languages.- Linearity and laziness.- Syntactic detection of single-threading...

More
  • PublisherSpringer
  • Publication date2014
  • ISBN 10 366218706X
  • ISBN 13 9783662187067
  • BindingPaperback
  • LanguageEnglish
  • Number of pages680
  • EditorHughes John

Other Popular Editions of the Same Title

Image Not Available

Featured Edition

ISBN 10:  3540543961 ISBN 13:  9783540543961
Publisher: Springer, 1991
Softcover