default search action

combined dblp search
author search
venue search
publication search

ask others

11th TFP 2010: Norman, OK, USA

> Home > Conferences and Workshops > TFP

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/sfp/2010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/2010
Rex L. Page, Zoltán Horváth, Viktória Zsók:
Trends in Functional Programming - 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers. Lecture Notes in Computer Science 6546, Springer 2011, ISBN 978-3-642-22940-4
- view
  authority control:
- export record
  dblp key:
  - conf/sfp/ChangHF10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/ChangHF10
Stephen Chang, David Van Horn, Matthias Felleisen:
Evaluating Call-by-Need on the Control Stack. 1-15
- view
  authority control:
- export record
  dblp key:
  - conf/sfp/AntonT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/AntonT10
Konrad Anton, Peter Thiemann:
Typing Coroutines. 16-30
- view
  authority control:
- export record
  dblp key:
  - conf/sfp/BrownLT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/BrownLT10
Christopher Brown, Huiqing Li, Simon J. Thompson:
An Expression Processor: A Case Study in Refactoring Haskell Programs. 31-49
- view
  authority control:
- export record
  dblp key:
  - conf/sfp/CapperN10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/CapperN10
John Capper, Henrik Nilsson:
Static Balance Checking for First-Class Modular Systems of Equations. 50-65
- view
  authority control:
- export record
  dblp key:
  - conf/sfp/ClericiZP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/ClericiZP10
Silvia Clerici, Cristina Zoltan, Guillermo Prestigiacomo:
Graphical and Incremental Type Inference: A Graph Transformation Approach. 66-83
- view
  authority control:
- export record
  dblp key:
  - conf/sfp/EastlundF10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/EastlundF10
Carl Eastlund, Matthias Felleisen:
Hygienic Macros for ACL2. 84-101
- view
  authority control:
- export record
  dblp key:
  - conf/sfp/FarmerKG10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/FarmerKG10
Andrew Farmer, Garrin Kimmell, Andy Gill:
What's the Matter with Kansas Lava? 102-117
- view
  authority control:
- export record
  dblp key:
  - conf/sfp/GillBFKK10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/GillBFKK10
Andy Gill, Tristan Bull, Andrew Farmer, Garrin Kimmell, Ed Komp:
Types and Type Families for Hardware Simulation and Synthesis - The Internals and Externals of Kansas Lava. 118-133
- view
  authority control:
- export record
  dblp key:
  - conf/sfp/KoopmanP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/KoopmanP10
Pieter W. M. Koopman, Rinus Plasmeijer:
Testing with Functional Reference Implementations. 134-149
- view
  authority control:
- export record
  dblp key:
  - conf/sfp/MatlageG10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/MatlageG10
Kevin Matlage, Andy Gill:
Every Animation Should Have a Beginning, a Middle, and an End - A Case Study of Using a Functor-Based Animation Language. 150-165
- view
  authority control:
- export record
  dblp key:
  - conf/sfp/Morazan10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/Morazan10
Marco T. Morazán:
Functional Video Games in the CS1 Classroom. 166-183
- view
  authority control:
- export record
  dblp key:
  - conf/sfp/PtaszekM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/PtaszekM10
Michal Ptaszek, Maciej Malawski:
ComputErl - Erlang-Based Framework for Many Task Computing. 184-197
- view
  authority control:
- export record
  dblp key:
  - conf/sfp/SnyderA10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/SnyderA10
Mark Snyder, Perry Alexander:
Monad Factory: Type-Indexed Monads. 198-213

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.