Proceedings of the Eighth Symposium on Trends in Functional Programming, TFP 2007, New York City, New York, USA, April 2-4. 2007 - researchr publication

researchr

You are not signed in
Sign in
Sign up

Marco T. Morazán, editor, Proceedings of the Eighth Symposium on Trends in Functional Programming, TFP 2007, New York City, New York, USA, April 2-4. 2007. Volume 8 of Trends in Functional Programming, Intellect, 2007.

Conference: sfp2007

Abstract is missing.

Space-Efficient Gradual TypingDavid Herman, Aaron Tomb, Cormac Flanagan. 1-18

A Metalanguage for Structural Operational SemanticsMatthew R. Lakin, Andrew M. Pitts. 19-35

AHA: Amortized Heap Space Usage AnalysisMarko C. J. D. van Eekelen, Olha Shkaravska, Ron van Kesteren, Bart Jacobs, Erik Poll, Sjaak Smetsers. 36-53

Unifying Hybrid Types and ContractsJessica Gronski, Cormac Flanagan. 54-70

Towards a Box Calculus for Hierarchical HumeGudmund Grov, Greg Michaelson. 71-88

unreadTVar: Extending Haskell Software Transactional Memory for PerformanceNehir Sönmez, Cristian Perfumo, Srdjan Stipic, Adrián Cristal, Osman S. Unsal, Mateo Valero. 89-104

Property Directed Generation of First-Order Test DataFredrik Lindblad. 105-123

Designing a Generic Graph Library Using ML FunctorsSylvain Conchon, Jean-Christophe Filliâtre, Julien Signoles. 124-140

Hop Client-Side CompilationFlorian Loitsch, Manuel Serrano. 141-158

Constructing Correct Circuits: Verification of Functional Aspects of Hardware Specifications with Dependent TypesEdwin Brady, James McKinna, Kevin Hammond. 159-176

runs on WebDSL