July 2014 - Haskell - Haskell.org

Call for Talk Proposals: Domain-Specific Language Design and Implementation 2014
by Sebastian Erdweg 24 Jul '14

24 Jul '14

********************************************************************* CALL FOR TALK PROPOSALS DSLDI 2014 Second Workshop on Domain-Specific Language Design and Implementation October 20/21, 2014 Portland, USA Co-located with SPLASH/OOPSLA http://2014.splashcon.org/track/dsldi2014 ********************************************************************* Deadline for talk proposals: August 27, 2014 If designed and implemented well, domain-specific languages (DSLs) combine the best features of general-purpose programming languages (e.g., performance) with high productivity (e.g., ease of programming). *** Workshop Goal *** The goal of the DSLDI workshop is to bring together researchers and practitioners interested in sharing ideas on how DSLs should be designed, implemented, supported by tools, and applied in realistic application contexts. We are both interested in discovering how already known domains such as graph processing or machine learning can be best supported by DSLs, but also in exploring new domains that could be targeted by DSLs. More generally, we are interested in building a community that can drive forward the development of modern DSLs. *** Workshop Format *** DSLDI is a single-day workshop and will consist of a series of short talks whose main goal is to trigger exchange of opinion and discussions. The talks should be on the topics within DSLDI's area of interest, which include but are not limited to the following ones: * DSL implementation techniques, including compiler-level and runtime-level solutions * utilization of domain knowledge for driving optimizations of DSL implementations * utilizing DSLs for managing parallelism and hardware heterogeneity * DSL performance and scalability studies * DSL tools, such as DSL editors and editor plugins, debuggers, refactoring tools, etc. * applications of DSLs to existing as well as emerging domains, for example graph processing, image processing, machine learning, analytics, robotics, etc. * practitioners reports, for example descriptions of DSL deployment in a real-life production setting *** Call for Submissions *** We solicit talk proposals in the form of short abstracts (max. 2 pages). A good talk proposal describes an interesting position, demonstration, or early achievement. The submissions will be reviewed on relevance and clarity, and used to plan the mostly interactive sessions of the workshop day. Publication of accepted abstracts and slides on the website is voluntary. * Deadline for talk proposals: August 27, 2014 * Notification: September 12, 2014 * Workshop: October 19 or 20, 2014 * Submission website: https://www.easychair.org/conferences/?conf=dsldi2014 *** Workshop Organization *** Organizers * Sebastian Erdweg, TU Darmstadt, Germany * Adam Welc, Oracle Labs, USA Program committee * Martin Erwig, Oregon State University, USA * Matthew Flatt, University of Utah, USA * Klaus Ostermann, University of Marburg, Germany * Tiark Rompf, EPFL/Oracle Labs, Switzerland * Tijs van der Storm, CWI, Netherlands * Juha-Pekka Tolvanen, University of Jyväskylä/Metacase, Finland * Emina Torlak, University of California, Berkeley, USA * Laurence Tratt, King's College London, UK * Markus Völter, itemis/independent, Germany * Guido Wachsmuth, TU Delft, Netherlands _______________________________________________ ecoop-info mailing list ecoop-info(a)ecoop.org http://web.satd.uma.es/mailman/listinfo/ecoop-info

1 0

FHPC 2014 (and reminder about ICFP early reg)
by Mary Sheeran 24 Jul '14

24 Jul '14

The programme for the Workshop on Functional High Performance Computing (Sept. 4 immediately after ICFP) is available at https://sites.google.com/site/fhpcworkshops/fhpc-2014/programme It will be a very enjoyable workshop so please consider attending. This is also a reminder that the last day for early registration at ICFP and associated workshops is August 3. Online registration for both ICFP and FHPC starts here: https://regmaster4.com/2014/ICFP14/ic01code/regsystem.php?control=register with best wishes Mary Sheeran

1 0

Call for participation: Haskell tutorial at CUFP on 4 Sep 2014
by Stefan Wehr 22 Jul '14

22 Jul '14

Dear Haskellers, I'll be giving an advanced Haskell tutorial as part of the CUFP 2014 workshop. * Date/time: 4 Sep 2014, 9:00 AM - 12:30 PM * Place: Gothenburg, Sweden (affiliated with ICFP 2014) * Early registration deadline: 3 Aug 2014! The tutorial teaches important techniques for writing correct, robust, scalable, and fast Haskell programs. The topics covered are: network programming, serialization, persistence, logging, performance, scalability, testing, and concurrency. The tutorial aims at programmers with some Haskell experience. It is not necessary to be an Haskell expert, but you should know how to write functions and data types. For more details, see http://cufp.org/2014/t2-stefan-wehr-haskell-in-the-real-world.html Registration page: https://regmaster4.com/2014conf/ICFP14/register.php Please distribute this call for participation. See you in Gothenburg! Stefan

1 0

TASE 2014：CALL FOR PARTICIPATION
by Huibiao Zhu 21 Jul '14

21 Jul '14

****************************************************************** CALL FOR PARTICIPATION TASE 2014: 8th Theoretical Aspects of Software Engineering Symposium 1-3 September 2014, Changsha, China http://www.nudt.edu.cn/tase2014/ ****************************************************************** ---------------- OVERVIEW ---------------- Modern society is increasingly dependent on software systems that are becoming larger and more complex. This poses new challenges to the various aspects of software engineering, for instance, software dependability in trusted computing, interaction with physical components in cyber physical systems, distribution in cloud computing applications, etc. Hence, new concepts and methodologies are required to enhance the development of software engineering from theoretical aspects. TASE 2014 aims to provide a forum for people from academia and industry to communicate their latest results on theoretical advances in software engineering. TASE 2014 is the 8th in the TASE series. The past TASE symposiums were successfully held in Shanghai ('07), Nanjing ('08), Tianjin ('09), Taipei ('10), Xi'an ('11), Beijing ('12), Birmingham ('13). The proceedings of the TASE 2014 symposium will be published by the IEEE Computer Society Press. ----------- VENUE ----------- TASE 2014 will be held at Yannian Century Hotel, Changsha, China. Changsha is the capital and largest city of Hunan province in south-central China, located on the lower reaches of the Xiang River, a branch of the Yangtze River. Read more about Changsha at: http://wikitravel.org/en/Changsha ----------------------- REGISTRATION ----------------------- Registration fees and deadlines are detailed below. Type Deadline Fees Early By July 10 RMB 4000(USD 650) Late After July 10 RMB 4600(USD 750) Student Anytime RMB 3000(USD 500) The details of registration can be found at: http://www.nudt.edu.cn/tase2014/reg.htm ------------------------------------ ORGANIZING COMMITTE ------------------------------------ GENERAL CHAIR Jifeng He (East China Normal University, China) PROGRAM CO-CHAIRS Ji Wang (National University of Defense Technology, China) Martin Leucker (University of Lubeck, Germany) STEERING COMMITTE Keijiro Araki (Kyushu University, Japan) Shengchao Qin (Teesside University, UK) Jifeng He (East China Normal University, China) Huibiao Zhu (East China Normal University, China) Michael Hinchey (Lero, Ireland) ORGANIZING CHAIR Wei Dong (National University of Defense Technology, China) ----------------------------- INVITED SPEAKERS ----------------------------- - Klaus Havelund (NASA JPL, USA) Data Automata in Scala - Axel Legay (INRIA, France) PLASMA-lab: a Flexible, Distributable Statistical Model Checking Library - Kwangkeun Yi (Seoul National University, Korea) Sound, Precise, and Scalable Static Analysis ------------------------------------ FURTHER INFORMATION ------------------------------------ More information about TASE 2014 is available from the symposium web site: http://www.nudt.edu.cn/tase2014/

1 0

Haskell Weekly News: Issue 299
by Daniel Santa Cruz 17 Jul '14

17 Jul '14

Welcome to issue 299 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers from June 29 to July 12, 2014 Quotes of the Week * donri: maybe good thing Applicative isn't called StrongLaxSemimonoidalEndofunctor * ninja_code: haskell is used to debug thinking * johnw: the first rule of category theory club is to state your identity Top Reddit Stories * The new haskell.org design Domain: new-www.haskell.org, Score: 130, Comments: 95 Original: [1] http://new-www.haskell.org/ On Reddit: [2] http://goo.gl/qG7683 * GHC-7.8.3 is out! Domain: haskell.org, Score: 115, Comments: 40 Original: [3] http://goo.gl/fyHQZd On Reddit: [4] http://goo.gl/7bsDXj * Announcing rest - A Haskell REST framework Domain: engineering.silk.co, Score: 97, Comments: 41 Original: [5] http://goo.gl/F3W628 On Reddit: [6] http://goo.gl/VqWdi9 * GHC plans for 7.10.1 Domain: ghc.haskell.org, Score: 77, Comments: 54 Original: [7] http://goo.gl/YH6516 On Reddit: [8] http://goo.gl/g16PE3 * unagi-chan: Fast and scalable concurrent queues for x86, with a Chan-like API Domain: hackage.haskell.org, Score: 61, Comments: 17 Original: [9] http://goo.gl/7dE0e4 On Reddit: [10] http://goo.gl/zaMC6o * Come practice Haskell *and* make a difference in the world by helping us build a new Free/Libre/Open patronage economy Domain: snowdrift.coop, Score: 59, Comments: 19 Original: [11] http://goo.gl/vU2cx On Reddit: [12] http://goo.gl/PRkG3B * What's wrong with String Domain: haskell.org, Score: 55, Comments: 123 Original: [13] http://goo.gl/8etnBS On Reddit: [14] http://goo.gl/k2FZ9u * Why is package management so awful? Domain: self.haskell, Score: 55, Comments: 100 Original: [15] http://goo.gl/7h7cWn On Reddit: [16] http://goo.gl/7h7cWn * Reﬂection without Remorse: Revealing a hidden sequence to speed up monadic reﬂection [pdf] Domain: homepages.cwi.nl, Score: 49, Comments: 36 Original: [17] http://goo.gl/QgiwtW On Reddit: [18] http://goo.gl/BpYmcS * Mutable Algorithms in Immutable Languages, Part 1 Domain: tel.github.io, Score: 49, Comments: 27 Original: [19] http://goo.gl/hn6218 On Reddit: [20] http://goo.gl/apKO9f * Where is Haskell going in industry? Domain: self.haskell, Score: 47, Comments: 114 Original: [21] http://goo.gl/Io2hvy On Reddit: [22] http://goo.gl/Io2hvy * Why Dependently Typed Programming Will (One Day) Rock Your World Domain: ejenk.com, Score: 45, Comments: 154 Original: [23] http://goo.gl/d3zkiG On Reddit: [24] http://goo.gl/z3ZhDf * Using Phantom Types for Extra Safety Domain: blog.jakubarnold.cz, Score: 41, Comments: 19 Original: [25] http://goo.gl/WnZH0Z On Reddit: [26] http://goo.gl/EJTpxl * Designing Dependently Typed Languages - OPLSS '14 Domain: self.haskell, Score: 37, Comments: 11 Original: [27] http://goo.gl/P2mV1A On Reddit: [28] http://goo.gl/P2mV1A * Hackage update, part 3 Domain: lambda.xyz, Score: 37, Comments: 13 Original: [29] http://goo.gl/sLHVfX On Reddit: [30] http://goo.gl/G7dHLc * Announce: The most complete prelude formed from only the "base" package Domain: hackage.haskell.org, Score: 37, Comments: 55 Original: [31] http://goo.gl/lSoKVh On Reddit: [32] http://goo.gl/UeNUYL * New generic programming library (with paper accepted in WGP 2014) Domain: andres-loeh.de, Score: 34, Comments: 11 Original: [33] http://goo.gl/PgV7yV On Reddit: [34] http://goo.gl/qFOlLB * Ideal programming language for a new modern OS built from scratch? Domain: self.haskell, Score: 32, Comments: 63 Original: [35] http://goo.gl/eTkOFd On Reddit: [36] http://goo.gl/eTkOFd * Neil Mitchell's Haskell Blog: Optimisation with Continuations Domain: neilmitchell.blogspot.com.es, Score: 30, Comments: 15 Original: [37] http://goo.gl/lvo8Oa On Reddit: [38] http://goo.gl/haJyX4 * can we do better than cabal sandbox? Domain: self.haskell, Score: 30, Comments: 38 Original: [39] http://goo.gl/RS3j0s On Reddit: [40] http://goo.gl/RS3j0s Top StackOverflow Questions * Is there a monad that doesn't have a corresponding monad transformer (except IO)? votes: 37, answers: 1 Read on SO: [41] http://goo.gl/wBH70C * Arrows are exactly equivalent to applicative functors? votes: 21, answers: 3 Read on SO: [42] http://goo.gl/WRjQx0 * Why does GHC typecheck before desugaring? votes: 19, answers: 1 Read on SO: [43] http://goo.gl/EzaZVr * List of Functors votes: 15, answers: 3 Read on SO: [44] http://goo.gl/RmJvDC * Or-patterns in Haskell votes: 13, answers: 2 Read on SO: [45] http://goo.gl/ukvJm1 * What does this list permutations implementation in Haskell exactly do? votes: 12, answers: 2 Read on SO: [46] http://goo.gl/CXOCch * Should Latitude, Longitude and Elevation have their own type in Haskell? votes: 12, answers: 2 Read on SO: [47] http://goo.gl/fkElae * Haskell List Comprehension Speed Inconsistencies votes: 12, answers: 1 Read on SO: [48] http://goo.gl/0o4rwI * What are some examples of type-level programming? [closed] votes: 11, answers: 3 Read on SO: [49] http://goo.gl/fowZ6b * QuickCheck Gen is not a monad votes: 11, answers: 1 Read on SO: [50] http://goo.gl/hiJ0q8 Until next time, [51]+Daniel Santa Cruz References 1. http://new-www.haskell.org/ 2. http://www.reddit.com/r/haskell/comments/2a77f2/the_new_haskellorg_design/ 3. http://www.haskell.org/ghc/docs/7.8.3/html/users_guide/release-7-8-3.html 4. http://www.reddit.com/r/haskell/comments/2af4jf/ghc783_is_out/ 5. http://engineering.silk.co/post/90354057868/announcing-rest-a-haskell-rest-… 6. http://www.reddit.com/r/haskell/comments/29h32i/announcing_rest_a_haskell_r… 7. https://ghc.haskell.org/trac/ghc/wiki/Status/GHC-7.10.1 8. http://www.reddit.com/r/haskell/comments/29v4lj/ghc_plans_for_7101/ 9. http://hackage.haskell.org/package/unagi-chan-0.1.0.1 10. http://www.reddit.com/r/haskell/comments/2adh2f/unagichan_fast_and_scalable… 11. https://snowdrift.coop/ 12. http://www.reddit.com/r/haskell/comments/29zw5j/come_practice_haskell_and_m… 13. http://www.haskell.org/pipermail/haskell-cafe/2014-June/114745.html 14. http://www.reddit.com/r/haskell/comments/29jw0s/whats_wrong_with_string/ 15. http://www.reddit.com/r/haskell/comments/2a9n0t/why_is_package_management_s… 16. http://www.reddit.com/r/haskell/comments/2a9n0t/why_is_package_management_s… 17. http://homepages.cwi.nl/~ploeg/papers/zseq.pdf 18. http://www.reddit.com/r/haskell/comments/29i94o/re%EF%ACection_without_remo… 19. http://tel.github.io/2014/07/12/mutable_algorithms_in_immutable_languges_pa… 20. http://www.reddit.com/r/haskell/comments/2ahorr/mutable_algorithms_in_immut… 21. http://www.reddit.com/r/haskell/comments/2a310v/where_is_haskell_going_in_i… 22. http://www.reddit.com/r/haskell/comments/2a310v/where_is_haskell_going_in_i… 23. http://ejenk.com/blog/why-dependently-typed-programming-will-one-day-rock-y… 24. http://www.reddit.com/r/haskell/comments/29kv2y/why_dependently_typed_progr… 25. http://blog.jakubarnold.cz/2014/07/08/using-phantom-types-for-extra-safety.… 26. http://www.reddit.com/r/haskell/comments/2a5duv/using_phantom_types_for_ext… 27. http://www.reddit.com/r/haskell/comments/2a115h/designing_dependently_typed… 28. http://www.reddit.com/r/haskell/comments/2a115h/designing_dependently_typed… 29. http://lambda.xyz/blog/hackage-part-3/ 30. http://www.reddit.com/r/haskell/comments/2abi06/hackage_update_part_3/ 31. http://hackage.haskell.org/package/base-prelude 32. http://www.reddit.com/r/haskell/comments/2ahq11/announce_the_most_complete_… 33. http://www.andres-loeh.de/TrueSumsOfProducts/ 34. http://www.reddit.com/r/haskell/comments/2a535x/new_generic_programming_lib… 35. http://www.reddit.com/r/haskell/comments/29tgjd/ideal_programming_language_… 36. http://www.reddit.com/r/haskell/comments/29tgjd/ideal_programming_language_… 37. http://neilmitchell.blogspot.com.es/2014/06/optimisation-with-continuations… 38. http://www.reddit.com/r/haskell/comments/29fjg4/neil_mitchells_haskell_blog… 39. http://www.reddit.com/r/haskell/comments/2a2ec7/can_we_do_better_than_cabal… 40. http://www.reddit.com/r/haskell/comments/2a2ec7/can_we_do_better_than_cabal… 41. http://stackoverflow.com/questions/24515876/is-there-a-monad-that-doesnt-ha… 42. http://stackoverflow.com/questions/24668313/arrows-are-exactly-equivalent-t… 43. http://stackoverflow.com/questions/24639279/why-does-ghc-typecheck-before-d… 44. http://stackoverflow.com/questions/24589995/list-of-functors 45. http://stackoverflow.com/questions/24700762/or-patterns-in-haskell 46. http://stackoverflow.com/questions/24484348/what-does-this-list-permutation… 47. http://stackoverflow.com/questions/24521976/should-latitude-longitude-and-e… 48. http://stackoverflow.com/questions/24690406/haskell-list-comprehension-spee… 49. http://stackoverflow.com/questions/24481113/what-are-some-examples-of-type-… 50. http://stackoverflow.com/questions/24481648/quickcheck-gen-is-not-a-monad 51. https://plus.google.com/105107667630152149014/about

1 0

ANN: HacBerlin - Haskell Hackathon in Berlin, 26-28 Sep 2014
by Stefan Wehr 14 Jul '14

14 Jul '14

Dear Haskellers, another Haskell Hackathon is waiting for you! Where: Berlin, Germany When: Fri 26 - Sun 28 September 2014 Meet in Berlin, discuss, hack together and improve the Haskell infrastructure. We welcome all programmers interested in Haskell, beginners and experts! For all details, visit our wiki page (http://www.haskell.org/haskellwiki/HacBerlin2014) and make sure to register early. By the way: we are currently looking for one or two keynote talks. If you feel qualified, please let us know. Happy hacking, Stefan

1 0

Call for participation: FOSDEM 2015
by Gautier DI FOLCO 14 Jul '14

14 Jul '14

Hi all, I'm not a FOSDEM (maybe the biggest FOSS Developer meeting in Europe) organizer, but next year it will be the third time that I'll attend to it and I'd like to see a FP devroom. So, here is the CFP: https://fosdem.org/2015/news/2014-07-01-call-for-participation/ If there are any good willings, don't wait! For the moment, if I understand well, they are looking for dev room coordinators, so: 1. If you want to give a talk, say it here, it will give an overview to potential coordinators 2. If you want to be coordinator, say it here, it will motivate talks proposals 3. If you want to be a half-time coordinator, say it, maybe an other one will do the same 4. If there are talks but no or not enough coordinator, I'll complete the team What ever what will happen, See you there, Regards.

1 0

Call for Talk Proposals: Parsing@SLE
by Sebastian Erdweg 14 Jul '14

14 Jul '14

********************************************************************* CALL FOR TALK PROPOSALS Second Workshop on Parsing@SLE 2014 September 14, 2014 Västerås, Sweden Co-located with ASE, SLE, and GPCE http://www.sleconf.org/2014/Parsing-at-SLE.html ********************************************************************* Deadline for talk proposals: July 25, 2014 The goal of this workshop is to bring together today's experts in the fields of parser construction and parser application from across the diverse application areas. Participants will present ongoing work as well as explore the challenges that lie ahead. By bringing the whole community together (a rare occurrence, given the diversity of domain-specific conferences/workshops), we aim to forge new collaborations inspired by a wide-ranging collection of talks on parsing-related topics. *** Topics *** While parsing and parser generation, both in theory and in practice, are mature topics, there are challenging problems with respect to the construction, maintenance, optimization, and application of parsers in real-world scenarios. Especially in the context of real programming languages there are ample theoretical as well as practical obstacles to be overcome. Contemporary parsing challenges are caused by programming-language evolution and diversity in the face of new application areas such as IDE construction, reverse engineering, software metrics, domain specific (embedded) languages, etc. What are modular meta-formalisms for parser generation? How to obtain (fast and correct) parsers for both legacy and new languages that require more computational power than context-free grammars and regular expressions can provide? How to enable the verified construction or prototyping of parsers for languages such as COBOL, C++ and Scala without years of effort? In addition to the traditional programming-language applications of parsing technology, several other areas of computing also depend heavily on parsers. Examples include computational linguistics, network traffic classification, network security, and bioinformatics. Those areas often have their own unusual requirements, such as: speed (e.g. in network algorithmics), memory efficiency (e.g. embedded devices for networks, but also computational linguistics), or rapid/dynamic parser construction (e.g. in network traffic classification and in bioinformatics) as grammars are adapted. We specifically encourage talk proposals on parsing challenges and solutions in these non-traditional areas. *** Call for Submissions *** We solicit talk proposals in the form of short abstracts (max. 2 pages in ACM 2-column format). A good talk proposal describes an interesting position, demonstration, or early achievement. The submissions will be reviewed on relevance and clarity, and used to plan the mostly interactive sessions of the workshop day. Publication of accepted abstracts and slides on the website is voluntary. * Deadline for talk proposals: July 25, 2014 * Workshop: September 14, 2014 * Notification: August 6, 2014 * Submission website: https://www.easychair.org/conferences/?conf=parsingsle2014 *** Workshop Organization *** Organizers * Sebastian Erdweg, TU Darmstadt, Germany * Bruce Watson, FASTAR, Stellenbosch University, South Africa

1 0

[ANNOUNCE] New release of SBV (v3.1)
by Levent Erkok 12 Jul '14

12 Jul '14

I'm pleased to announce v3.1 release of SBV, a library for integrating SMT solvers into Haskell. This release coincides with GHC 7.8.3: A a prior bug in the 7.8 series caused SBV to crash under heavy load. GHC 7.8.3 fixes this bug; so if you're an SBV user, please upgrade to both GHC 7.8.3 and your version of SBV. Also new in this release are two oft-requested features: - Parallel solving capabilities: Using multiple SMT solvers at the same time to get the fastest result (speed), or get all results (to make sure they all behave the same way, safety). - A variant of symbolic if-then-else (called sBranch) that can call the external solver during simulation before it symbolically simulates "then" and "else" branches. This is useful for programming with recursive functions where termination depends on symbolic values. Full release notes: https://github.com/LeventErkok/sbv/blob/master/CHANGES.md SBV web page: http://leventerkok.github.io/sbv/ As usual, bug reports and feedback are most welcome! -Levent.

1 0

Call for participation: Workshop on Generic Programming
by José Pedro Magalhães 12 Jul '14

12 Jul '14

====================================================================== CALL FOR PARTICIPATION WGP 2014 10th ACM SIGPLAN Workshop on Generic Programming Gothenburg, Sweden Sunday, August 31, 2014 http://www.wgp-sigplan.org/2014 Co-located with the International Conference on Functional Programming (ICFP 2014) ====================================================================== Generic programming is about making programs more adaptable by making them more general. Generic programs often embody non-traditional kinds of polymorphism; ordinary programs are obtained from them by suitably instantiating their parameters. In contrast with normal programs, the parameters of a generic program are often quite rich in structure; for example they may be other programs, types or type constructors, class hierarchies, or even programming paradigms. Generic programming techniques have always been of interest, both to practitioners and to theoreticians, and, for at least 20 years, generic programming techniques have been a specific focus of research in the functional and object-oriented programming communities. Generic programming has gradually spread to more and more mainstream languages, and today is widely used in industry. This workshop brings together leading researchers and practitioners in generic programming from around the world, and features papers capturing the state of the art in this important area. Schedule -------- 09:00 Welcome Session 1 09:10 Bruno C. d. S. Oliveira. Functional Programming, Object-Oriented Programming and Algebras! (invited talk) 10:00 Coffee break Session 2 10:30 Larry Diehl and Tim Sheard. Generic Constructors and Eliminators from Descriptions 11:00 Thomas Williams, Pierre-Évariste Dagand and Didier Rémy. Ornaments in Practice 11:30 Matthew Roberts and Tony Sloane. Type Inference for the Spine View of Data 12:00 Lunch Session 3 14:00 Alexander Slesarenko, Alexander Filippov and Alexey Romanov. First-class Isomorphic Specialization by Staged Evaluation 14:30 Sam Lindley. Algebraic Effects and Effect Handlers for Idioms and Arrows 15:00 Larisse Voufo, Marcin Zalewski and Andrew Lumsdaine. Scoping Rules on a Platter – A Framework for Understanding and Specifying Name Binding 15:30 Tea break Session 4 16:00 Patrick Bahr. Composing and Decomposing Data Types – A Closed Type Families Implementation of Data Types à la Carte 16:30 Edsko de Vries and Andres Löh. True Sums of Products 17:00 End Registration ------------ You can register via the ICFP 2014 registration: https://regmaster4.com/2014conf/ICFP14/register.php Early registration deadline is 3 August. Program Committee ----------------- José Pedro Magalhães (co-chair), University of Oxford Tiark Rompf (co-chair), Oracle Labs & EPFL Peter Achten, Radboud University Nijmegen Nada Amin, Ecole Polytechnique Fédérale de Lausanne (EPFL) Pierre-Évariste Dagand, INRIA Paris-Rocquencourt Fritz Henglein, University of Copenhagen Andrew Lumsdaine, Indiana University Alexander Slesarenko, Huawei Labs & Keldysh Institute of Applied Mathematics (KIAM) Anthony M. Sloane, Macquarie University Wouter Swierstra, Utrecht University Meng Wang, Chalmers University of Technology WGP Steering Committee ---------------------- Shin-Cheng Mu (chair) Jaako Järvi Andres Löh Ronald Garcia Jacques Carette Jeremiah Willcock Tim Sheard Stephanie Weirich Tarmo Uustalu

1 0