Dear Colleagues,
You may now resgister for TFP 2007!
TFP 2007 will be held April 2-4, 2007 in New
York City, USA. Our invited speaker
is John McCarthy, Stanford University. Further
details can be found at our homepage:
http://cs.shu.edu/tfp2007/ .
You may register at: http://cs.shu.edu/tfp2007/registration.html
. The registration
deadline is March 2, 2007 (11:59 p.m.
EST). Accomodations information may be found
at: http://cs.shu.edu/tfp2007/accomodations.html
. We kindly remind you that the
deadline to make a hotel reservation
at the guaranteed rates offered to TFP 2007
participants is also quickly approaching.
We are proud to announce our program
of accepted talks:
Unifying Hybrid Types and Contracts
Jessica Gronski and Cormac Flanagan
A Dual Semantics for the Data Description
Calculus
Yitzhak Mandelbaum, Kathleen Fisher,
and David Walker
A Metalanguage for Structural Operational
Semantics
Matthew Lakin and Andrew Pitts
An Arrow Based Semantics for Interactive
Applications
Peter Achten, Marko van Eekelen, Maarten
de Mol, and Rinus Plasmeijer
Dependent Types: Easy as Pie
Dimitrios Vytiniotis and Stephanie Weirich
Constructing Correct Circuits -- Hardware
Modelling with Dependent Types
Edwin Brady, James McKinna, and Kevin
Hammond
Why Would Extensible Dependent Types
Matter
Pablo Nogueira and Bruno Oliveira
Bytecode Verification for Haskell
Robert Dockins and Samuel Z. Guyer
UnreadTVar: Extending Haskell Software
Transactional Memory for Performance
Nehir Sonmez, Cristian Perfumo, Srdjan
Stipic, Adrian Cristal, Osman S. Unsal, and Mateo Valero
A New Functional Implementation of Grover's
Fast Search Algorithm
Justin Stallard and Murray Gross
An Inference Algorithm for Guaranteeing
Safe Destruction
Manuel Montenegro, Ricardo Peņa, and
Clara Segura
Hierarchical Master/Worker Skeletons
Jost Berthold, Mischa Dieterle, Rita
Loogen, and Steffen Priebe
Property Directed Generation of First-Order
Test Data
Fredrik Lindblad
Refactoring for Comprehension
Gustavo Villavicencio
Towards a Box Calculus for Hume
Gudmund Grov and Greg Michaelson
Scaled Regression: A Refinement of Primitive
Recursion
Daniel Leivant
Equality-Based Uniqueness Typing
Edsko de Vries, Rinus Plasmeijer, and
David Abrahamson
Lightweight Static Resources: Sexy Types
for Embedded and Systems Programming
Oleg Kiselyov and Chung-chieh Shan
Space-Efficient Gradual Typing
David Herman, Aaron Tomb, and Cormac
Flanagan
Use-Based Reference of Polymorphism
Dave King and John Hannan
Designing a Generic Graph Library Using
ML Functors
Sylvain Conchon, Jean-Christophe Filliatre,
and Julien Signoles
The SCIence Joint Research Activity
Kevin Hammond, Dana Petcu, Phil Trinder,
Abdallah Al Zain, Steve Linton, and Greg Michaelson
Generic and Index Programming
Jeremy Gibbons, Meng Wang, and Bruno
C d. S. Oliveira
The AHA Project
Marko van Eekelen, Olha Shkaravska,
Ron van Kesteren, Bart Jacobs, Sjaak Smetsers, and Erik Poll
Studying Helium Program Bahaviour with
the Neon Library
Jurriaan Hage and Peter van Keeken
Design and Implementation of JFP
Hao Xu
Hop Client-Side Compilation
Florian Loitsch
Adaptive High-Level Scheduling in a
Generic Parallel Runtime Environment
Jost Berthold, Abyd Al-Zain, and Hans-Wolfgang
Loidl
Bundles Pack Tighter than Lists
Francisco Lopez-Fraguas, Juan Rodriguez-Hortala,
and Jaime Sanchez-Hernandez
Model-Based Testing of Thin-Client Web
Applications and Navigation Input
Pieter Koopman, Peter Achten, and Rinus
Plasmeijer
We look forward to seeing you at TFP
2007!
Cheers,
Marco
************************************************************************************
Dr. Marco T. Morazan
TFP 2007
Program Committee Chair
http://cs.shu.edu/tfp2007/