Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID11th TFP 2010: Norman, OK, USA
- 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 - Stephen Chang, David Van Horn, Matthias Felleisen:
Evaluating Call-by-Need on the Control Stack. 1-15 - Konrad Anton, Peter Thiemann:
Typing Coroutines. 16-30 - Christopher Brown, Huiqing Li, Simon J. Thompson:
An Expression Processor: A Case Study in Refactoring Haskell Programs. 31-49 - John Capper, Henrik Nilsson:
Static Balance Checking for First-Class Modular Systems of Equations. 50-65 - Silvia Clerici, Cristina Zoltan, Guillermo Prestigiacomo:
Graphical and Incremental Type Inference: A Graph Transformation Approach. 66-83 - Carl Eastlund, Matthias Felleisen:
Hygienic Macros for ACL2. 84-101 - Andrew Farmer, Garrin Kimmell, Andy Gill:
What's the Matter with Kansas Lava? 102-117 - 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 - Pieter W. M. Koopman, Rinus Plasmeijer:
Testing with Functional Reference Implementations. 134-149 - 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 - Marco T. Morazán:
Functional Video Games in the CS1 Classroom. 166-183 - Michal Ptaszek, Maciej Malawski:
ComputErl - Erlang-Based Framework for Many Task Computing. 184-197 - Mark Snyder, Perry Alexander:
Monad Factory: Type-Indexed Monads. 198-213
a service of 
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.
last updated on 2024-04-26 18:37 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
