Skip to main content
main-content

Über dieses Buch

This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Symposium on Trends in Functional Programming, TFP 2010, held in Norman, OK, USA, in May 2010. The 13 revised full papers presented were carefully reviewed and selected from 26 submissions during two rounds of reviewing and improvement. The papers cover new ideas for refactoring, managing source-code complexity, functional language implementation, graphical languages, applications of functional programming in pure mathematics, type theory, multitasking and parallel processing, distributed systems, scientific modeling, domain specific languages, hardware design, education, and testing.

Inhaltsverzeichnis

Frontmatter

2011 | OriginalPaper | Buchkapitel

Evaluating Call-by-Need on the Control Stack

Stephen Chang, David Van Horn, Matthias Felleisen

2011 | OriginalPaper | Buchkapitel

Typing Coroutines

Konrad Anton, Peter Thiemann

2011 | OriginalPaper | Buchkapitel

An Expression Processor: A Case Study in Refactoring Haskell Programs

Christopher Brown, Huiqing Li, Simon Thompson

2011 | OriginalPaper | Buchkapitel

Static Balance Checking for First-Class Modular Systems of Equations

John Capper, Henrik Nilsson

2011 | OriginalPaper | Buchkapitel

Graphical and Incremental Type Inference: A Graph Transformation Approach

Silvia Clerici, Cristina Zoltan, Guillermo Prestigiacomo

2011 | OriginalPaper | Buchkapitel

Hygienic Macros for ACL2

Carl Eastlund, Matthias Felleisen

2011 | OriginalPaper | Buchkapitel

What’s the Matter with Kansas Lava?

Andrew Farmer, Garrin Kimmell, Andy Gill

2011 | OriginalPaper | Buchkapitel

Types and Type Families for Hardware Simulation and Synthesis

The Internals and Externals of Kansas Lava
Andy Gill, Tristan Bull, Andrew Farmer, Garrin Kimmell, Ed Komp

2011 | OriginalPaper | Buchkapitel

Testing with Functional Reference Implementations

Pieter Koopman, Rinus Plasmeijer

2011 | OriginalPaper | Buchkapitel

Every Animation Should Have a Beginning, a Middle, and an End

A Case Study of Using a Functor-Based Animation Language
Kevin Matlage, Andy Gill

2011 | OriginalPaper | Buchkapitel

Functional Video Games in the CS1 Classroom

Marco T. Morazán

2011 | OriginalPaper | Buchkapitel

ComputErl – Erlang-Based Framework for Many Task Computing

Michał Ptaszek, Maciej Malawski

2011 | OriginalPaper | Buchkapitel

Monad Factory: Type-Indexed Monads

Mark Snyder, Perry Alexander

Backmatter

Weitere Informationen

Premium Partner

Neuer Inhalt

BranchenIndex Online

Die B2B-Firmensuche für Industrie und Wirtschaft: Kostenfrei in Firmenprofilen nach Lieferanten, Herstellern, Dienstleistern und Händlern recherchieren.

Whitepaper

- ANZEIGE -

Product Lifecycle Management im Konzernumfeld – Herausforderungen, Lösungsansätze und Handlungsempfehlungen

Für produzierende Unternehmen hat sich Product Lifecycle Management in den letzten Jahrzehnten in wachsendem Maße zu einem strategisch wichtigen Ansatz entwickelt. Forciert durch steigende Effektivitäts- und Effizienzanforderungen stellen viele Unternehmen ihre Product Lifecycle Management-Prozesse und -Informationssysteme auf den Prüfstand. Der vorliegende Beitrag beschreibt entlang eines etablierten Analyseframeworks Herausforderungen und Lösungsansätze im Product Lifecycle Management im Konzernumfeld.
Jetzt gratis downloaden!

Bildnachweise