8. TFP 2007: New York City, USA
Marco T. Morazán (editor):
Revised Selected Papers from the Eighth Symposium on Trends in Functional Programming, TFP
2007
New York City, USA, 2-4 April 2007.
Trends in Functional Programming 8.
Intellect, Bristol, UK.
ISBN 978-1-84150-196-3
- David Herman, Aaron Tomb, Cormac Flanagan: Space-Efficient Gradual Typing. 1-18
- Matthew Lakin, Andrew Pitts: A Metalanguage for Structural Operational Semantics. 19-35
- Marko van Eekelen, Olha Shkaravska, Ron van Kesteren, Bart Jacobs, Erik Poll, Sjaak Smetsers: AHA: Amortized Heap Space Usage Analysis. 36-53
- Jessica Gronski, Cormac Flanagan: Unifying Hybrid Types and Contracts. 54-70
- Gudmund Grov, Greg Michaelson: Towards a Box Calculus for Hierarchical Hume. 71-88
- Nehir Sonmez, Cristian Perfumo, Srdjan Stipic, Adrian Cristal, Osman S. Unsal, Mateo Valero: unreadTVar: Extending Haskell Software Transactional Memory for Performance. 89-104
- Fredrik Lindblad: Property Directed Generation of First-Order Test Data. 105-123
- Sylvain Conchon, Jean-Christophe Filliátre, Julien Signoles: Designing a Generic Graph Library Using ML Functors. 124-140
- Florian Loitsch, Manuel Serrano: Hop Client-Side Compilation. 141-158
- Edwin Brady, James McKinna, Kevin Hammond: Constructing Correct Circuits: Verification of Functional Aspects of Hardware Specifications with Dependent Types. 159-176