- Haskell - Haskell.org

Call for Papers PEPM 2014
by publicityifl＠gmail.com 17 Jul '13

17 Jul '13

Hello, Please, find below the first call for papers for PEPM 2014. Please forward these to anyone you think may be interested. Apologies for any duplicates you may receive. best regards, Jurriaan Hage Co-chair of PEPM 2014 ----------------------------- C A L L F O R P A P E R S ----------------------------- ======= PEPM 2014 =========== ACM SIGPLAN 2014 WORKSHOP ON PARTIAL EVALUATION AND PROGRAM MANIPULATION Mon-Tue, January 20-21, 2014 San Diego, California, USA co-located with POPL'14 Sponsored by ACM SIGPLAN http://www.program-transformation.org/PEPM14 SCOPE The PEPM Symposium/Workshop series aims at bringing together researchers and practitioners working in the areas of program manipulation, partial evaluation, and program generation. PEPM focuses on techniques, theory, tools, and applications of analysis and manipulation of programs. The 2014 PEPM workshop will be based on a broad interpretation of semantics-based program manipulation and continue last years' successful effort to expand the scope of PEPM significantly beyond the traditionally covered areas of partial evaluation and specialization and include practical applications of program transformations such as refactoring tools, and practical implementation techniques such as rule-based transformation systems. In addition, the scope of PEPM covers manipulation and transformations of program and system representations such as structural and semantic models that occur in the context of model-driven development. In order to reach out to practitioners, a separate category of tool demonstration papers will be solicited. Topics of interest for PEPM'14 include, but are not limited to: Program and model manipulation techniques such as: supercompilation, partial evaluation, fusion, on-the-fly program adaptation, active libraries, program inversion, slicing, symbolic execution, refactoring, decompilation, and obfuscation. Program analysis techniques that are used to drive program/model manipulation such as: abstract interpretation, termination checking, binding-time analysis, constraint solving, type systems, automated testing and test case generation. Techniques that treat programs/models as data objects including metaprogramming, generative programming, embedded domain-specific languages, program synthesis by sketching and inductive programming, staged computation, and model-driven program generation and transformation. Application of the above techniques including case studies of program manipulation in real-world (industrial, open-source) projects and software development processes, descriptions of robust tools capable of effectively handling realistic applications, benchmarking. Examples of application domains include legacy program understanding and transformation, DSL implementations, visual languages and end-user programming, scientific computing, middleware frameworks and infrastructure needed for distributed and web-based applications, resource-limited computation, and security. To maintain the dynamic and interactive nature of PEPM, we will continue the category of `short papers' for tool demonstrations and for presentations of exciting if not fully polished research, and of interesting academic, industrial and open-source applications that are new or unfamiliar. Student attendants with accepted papers can apply for a SIGPLAN PAC grant to help cover travel expenses and other support. PAC also offers other support, such as for child-care expenses during the meeting or for travel costs for companions of SIGPLAN members with physical disabilities, as well as for travel from locations outside of North America and Europe. For details on the PAC programme, see its web page. All accepted papers, short papers included, will appear in formal proceedings published by ACM Press. In addition to printed proceedings, accepted papers will be included in the ACM Digital Library. A special issue for Science of Computer Programming is planned with recommended papers from PEPM'14. PEPM has also established a Best Paper award. The winner will be announced at the workshop. SUBMISSION CATEGORIES AND GUIDELINES Regular Research Papers must not exceed 12 pages in ACM Proceedings style (including appendix). Tool demonstration papers and short papers must not exceed 6 pages in ACM Proceedings style (including appendix). At least one author of each accepted contribution must attend the workshop and present the work. In the case of tool demonstration papers, a live demonstration of the described tool is expected. Suggested topics, evaluation criteria, and writing guidelines for both research tool demonstration papers will be made available on the PEPM'14 Web-site. Papers should be submitted electronically via the workshop web site. Authors using LaTeX to prepare their submissions should use the new improved SIGPLAN proceedings style (sigplanconf.cls, 9pt template). IMPORTANT DATES Abstract due: Sat, September 28, 2013 Paper submission: Sat, October 5, 2013, 23:59, GMT Author notification: Mon, November 11, 2013 Camera-ready papers due: * to be announced * INVITED SPEAKERS to be announced PROGRAM CHAIRS Wei Ngan Chin (National University of Singapore, Singapore) Jurriaan Hage (Utrecht University, Netherlands) PROGRAM COMMITTEE velyne Contejean (LRI, CNRS, Universit Paris-Sud, France) Cristina David (University of Oxford, UK) Alain Frisch (LexiFi, France) Ronald Garcia (University of British Columbia, Canada) Zhenjiang Hu (National Institute of Informatics, Japan) Paul H J Kelly (Imperial College, UK) Oleg Kiselyov (Monterey, USA) Naoki Kobayashi (University of Tokyo, Japan) Jens Krinke (University College London, UK) Ryan Newton (University of Indiana, USA) Alberto Pardo (Universidad de la Repblica, Uruguay) Sungwoo Park (Pohang University of Science and Technology, South Korea) Tiark Rompf (Oracle Labs & EPFL, Switzerland) Sukyoung Ryu (KAIST, South Korea) Kostis Sagonas (Uppsala University, Sweden) Max Schaefer (Nanyang Technological University, Singapore) Harald S¿ndergaard (The University of Melbourne, Australia) Eijiro Sumii (Tohoku University, Japan) Eric Van Wyk (University of Minnesota, USA) Jeremy Yallop (University of Cambridge, UK)

1 0

Call for Participation: 10th International Colloquium on Theoretical Aspects of Computing
by Huibiao Zhu 17 Jul '13

17 Jul '13

*************************************************************** ICTAC 2013 10th International Colloquium on Theoretical Aspects of Computing *** Call for Participation *** September 4-6, 2013 Shanghai, China http://ictac2013.ecnu.edu.cn/ *************************************************************** AIMS ICTAC 2013 is the 10th International Colloquium on Theoretical Aspects of Computing, the latest in a series founded by the International Institute for Software Technology of the United Nations University (UNU-IIST). ICTAC 2013 will bring together practitioners and researchers from academia, industry and government to present research and to exchange ideas and experience addressing challenges in both theoretical aspects of computing and in the exploitation of theory through methods and tools for system development. The other main purpose is to promote cooperation in research and education between participants and their institutions, from developing and industrial countries, as in the mandate of the United Nations University. REGISTRATION Registration is now open for ICTAC2013. The early registration deadline is 3 August 2013. The program of ICTAC 2013 contains three keynote talks and 22 accepted submissions. The proceedings of ICTAC 2013 will be published as Springer LNCS 8049. For more information, including a link to the registration site, please visit the conference webpage. ASSOCIATED EVENTS Festschrift Symposium in Honor of Prof. Jifeng He: 01-03 September 2013 Summer School on Software Engineering: 26-30 August 2013 INVITED SPEAKERS Luca Cardelli, Microsoft Research Cambridge, UK Jifeng He, East China Normal University, China Marta Kwiatkowska, University of Oxford, UK CONFERENCE CHAIRS Zhou Chaochen, Software Institute, Chinese Academy of Sciences, China Peter Haddawy, UNU-IIST, Macau SAR, China Bill Roscoe, University of Oxford, UK PROGRAMME CHAIRS Zhiming Liu, UNU-IIST, Macau SAR, China Jim Woodcock, University of York, UK Huibiao Zhu, East China Normal University, China PROGRAMME COMMITTEE Farhad Arbab (CWI and Leiden University, The Netherlands) Michael Butler (University of Southampton, UK) Ana Cavalcanti (University of York, UK) Zhenbang Chen (National University of Defense Technology, China) Van Hung Dang (University of Engineering and Technology, Vietnam) Thao Dang (VERIMAG, France) David Deharbe (Universidade Federal do Rio Grande do Norte, Brasil) Jinsong Dong (National University of Singapore, Singapore) Meenakshi Dsouza (IIIT, India) Zhenhua Duan (Xidian University, China) John Fitzgerald (Newcastle University, UK) Martin Fraenzle (Carl von Ossietzky University Oldenburg, Germany) Marcelo Frias (Instituto Tecnologico Buenos Aires, Argentina) Lindsay Groves (Victoria University of Wellington, New Zealand) Kim Guldstrand Larsen (Aalborg University, Denmark) Ian J. Hayes (University of Queensland, Australia) Zhenjiang Hu (NII, Japan) Lei Ju (Shandong University, China) Daniel Kroening (Oxford University, UK) Martin Leucker (University of Lübeck, Germany) Zhiming Liu (UNU-IIST, Macau SAR, China) Annabelle Mciver (Macquarie University, Australia) Dominique Mery (Université de Lorraine, France) Tobias Nipkow (Technische Universit?t München, Germany) Paritosh Pandya (TIFR, India) Jun Pang (University of Luxembourg, Luxembourg) Geguang Pu (East China Normal University, China) Shengchao Qin (Teesside University, UK) Zongyan Qiu (Peking University, China) Abhik Roychoudhury (National University of Singapore, Singapore) Augusto Sampaio (Federal university of Pernambuco, Brasil) Ondrej Sery (University of Lugano, Switzerland) Natarajan Shankar (SRI, US) Marjan Sirjani (Reykjavik University, Iceland) Andrzej Tarlecki (Warsaw University, Poland) Mark Utting (The University of Waikato, New Zealand) Tarmo Uustalu (Tallinn University of Technology, Estonia) Farn Wang (National Taiwan University, Taiwan) Burkhart Wolff (University Paris-Sud, France) Jim Woodcock (University of York, UK) Wang Yi (Uppsala University, Sweden) Naijun Zhan (Chinese Academy of Sciences, China) Jianjun Zhao (Shanghai Jiao Tong University, China) Jianhua Zhao (Nanjing University, China) Huibiao Zhu (East China Normal University, China)

1 0

Call for Papers IFL 2013
by publicityifl＠gmail.com 16 Jul '13

16 Jul '13

Hello, Please, find below the third call for papers for IFL 2013. Please forward these to anyone you think may be interested. Apologies for any duplicates you may receive. best regards, Jurriaan Hage Publicity Chair of IFL CALL FOR PAPERS 25th SYMPOSIUM ON IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES - IFL 2013 RADBOUD UNIVERSITY NIJMEGEN, THE NETHERLANDS ACM In-Cooperation / ACM SIGPLAN AUGUST 28 - 30 2013 "Landgoed Holthurnsche Hof" http://ifl2013.cs.ru.nl We are proud to announce that the 25th edition of the IFL series returns to its roots at the Radboud University Nijmegen in the Netherlands. The symposium is held from 28th to 30th of August 2013. Scope ----- The goal of the IFL symposia is to bring together researchers actively engaged in the implementation and application of functional and function-based programming languages. IFL 2013 will be a venue for researchers to present and discuss new ideas and concepts, work in progress, and publication-ripe results related to the implementation and application of functional languages and function-based programming. Following the IFL tradition, IFL 2013 will use a post-symposium review process to produce the formal proceedings which will be published in the ACM Digital Library. All participants of IFL 2013 are invited to submit either a draft paper or an extended abstract describing work to be presented at the symposium. At no time may work submitted to IFL be simultaneously submitted to other venues; submissions must adhere to ACM SIGPLAN's republication policy: http://www.sigplan.org/Resources/Policies/Republication The submissions will be screened by the program committee chair to make sure they are within the scope of IFL, and will appear in the draft proceedings distributed at the symposium. Submissions appearing in the draft proceedings are not peer-reviewed publications. Hence, publications that appear only in the draft proceedings do not count as publication for the ACM SIGPLAN republication policy. After the symposium, authors will be given the opportunity to incorporate the feedback from discussions at the symposium and will be invited to submit a revised full article for the formal review process. From the revised submissions, the program committee will select papers for the formal proceedings considering their correctness, novelty, originality, relevance, significance, and clarity. Invited Speaker --------------- Lennart Augustsson, currently employed by the Standard Chartered Bank, well-known for his work on Haskell, parallel Haskell, Cayenne, and Bluespec, is the invited speaker of IFL 2013. He will be talking about practical applications of functional programming. Submission Details ------------------ Submission deadline draft papers: July 31 Notification of acceptance for presentation: August 2 Early registration deadline: August 7 Late registration deadline: August 14 Submission deadline for pre-symposium proceedings: August 21 25th IFL Symposium: August 28-30 Submission deadline for post-symposium proceedings: November 11 Notification of acceptance for post-symposium proceedings: December 18 Camera-ready version for post-symposium proceedings: February 3 2014 Prospective authors are encouraged to submit papers or extended abstracts to be published in the draft proceedings and to present them at the symposium. All contributions must be written in English. Papers must adhere to the standard ACM two columns conference format. For the pre-symposium proceedings we adopt a 'weak' page limit of 12 pages. For the post-symposium proceedings the page limit of 12 pages is firm. A suitable document template for LaTeX can be found at: http://www.acm.org/sigs/sigplan/authorInformation.htm Papers are to be submitted via the conference's EasyChair submission page: https://www.easychair.org/conferences/?conf=ifl2013 Topics ------ IFL welcomes submissions describing practical and theoretical work as well as submissions describing applications and tools in the context of functional programming. If you are not sure whether your work is appropriate for IFL 2013, please contact the PC chair at rinus(a)cs.ru.nl. Topics of interest include, but are not limited to: - language concepts - type systems, type checking, type inferencing - compilation techniques - staged compilation - run-time function specialization - run-time code generation - partial evaluation - (abstract) interpretation - metaprogramming - generic programming - automatic program generation - array processing - concurrent/parallel programming - concurrent/parallel program execution - embedded systems - web applications - (embedded) domain specific languages - security - novel memory management techniques - run-time profiling performance measurements - debugging and tracing - virtual/abstract machine architectures - validation, verification of functional programs - tools and programming techniques - (industrial) applications Peter Landin Prize ------------------ The Peter Landin Prize is awarded to the best paper presented at the symposium every year. The honoured article is selected by the program committee based on the submissions received for the formal review process. The prize carries a cash award equivalent to 150 Euros. Programme committee ------------------- - Thomas Arts, Quviq, Gothenburg, Sweden - Andrew Butterfield, Trinity College, Dublin, Ireland - Edwin Brady, University of St. Andrews, UK - Clemens Grelck, University of Amsterdam, Netherlands - Adam Granicz, IntelliFactory, Budapest, Hungary - Jeremy Gibbons, University of Oxford, UK - Fritz Henglein, University of Copenhagen, Denmark - Stephan Herhut, Intel Labs, Santa Clara, US - Ralf Hinze (co-chair), University of Oxford, UK - Zoltan Horvath, Eotvos Lorand University, Budapest, Hungary - Zhenjiang Hu, University of Tokyo, Japan - Mauro Jaskelioff, Universidad Nacional de Rosario, Argentina - Johan Jeuring, University of Utrecht, Netherlands - Rita Loogen, University of Marburg, Germany - Marco T. Morazan, Seton Hall University, New Jersey, US - Dominic Orchard, University of Cambridge, UK - Rinus Plasmeijer (chair), Radboud University Nijmegen, Netherlands - Tim Sheard, Portland State University, US - Sam Tobin-Hochstadt, Northeastern University / Indiana University, US - Peter Thiemann, University of Freiburg, Germany - Simon Thompson, University of Kent, UK Venue ----- The 25th IFL is organized by the Radboud University Nijmegen, Model Based Software Development Department at the Nijmegen Institute for Computing and Information Sciences. The event is held in the Landgoed Holthurnsche Hof, a rural estate in the woodlands surrounding Nijmegen. It can be reached quickly and easily by public transport.

1 0

DTP 2013 Call for Presentations
by Stephanie Weirich 16 Jul '13

16 Jul '13

==================================================================== DTP 2013 ACM SIGPLAN Workshop on Dependently-Typed Programming SEPTEMBER 2013 Boston, Massachusetts, USA (co-located with ICFP 2013) CALL FOR INFORMAL PRESENTATIONS http://www.seas.upenn.edu/~sweirich/dtp13 ==================================================================== We are pleased to invite informal presentations for DTP 2013. To propose a talk, send a short abstract (at most one page!) to sweirich(a)cis.upenn.edu by August 16th, 2013. Presentations will be judged on relevance to the workshop, and accepted on a rolling basis. These talks should describe work-in-progress of any sort related to dependently-typed programming. They will not be accompanied by a publication, nor will they be reviewed. However, materials relevant to these talks (such as draft papers, examples, and slides) can be posted on the DTP website at the author's request. Talks about papers currently in submission are welcome. Workshop Overview ----------------- The ACM SIGPLAN Workshop on Dependently-Typed Programming 2013 will be co-located with the [2013 International Conference on Functional Programming (ICFP), in Boston, Massachusetts, USA](http://icfpconference.org/icfp2013/). The purpose of DTP is to discuss experiences with dependent types in programming and future developments for dependently-typed languages. Recent years have seen increasing overlap between the dependent type theory and functional programming languages communities. Co-locating this workshop with ICFP will promote that cross fertilization. Topics of interest include, but are not limited to: * Language Design, both in the context of possible extensions and modifications of existing languages and the development of new languages with dependent types; * Theory, such as formal treatments of semantics and type systems; * Compilation, including implementations and optimization of dependently-typed languages; * Tools, in the form of IDEs, profilers, tracers, debuggers, and testing tools; * Functional Pearls, being elegant, instructive examples of using dependent types; * Experience Reports, general practice and experience with dependently-typed languages, e.g., in an education or industry context. The workshop program will be composed of regular papers (formally reviewed and published by ACM) and informal presentations.

1 0

Homotopy Type Theory IRC Channel
by Darin Morrison 15 Jul '13

15 Jul '13

Hello, I know there are many haskellers interested in dependent type theory so I wanted to mention that there is now an IRC channel on freenode for discussing Homotopy Type Theory (HoTT), e.g., the recent book, possible implementations, dependent type theory in general, etc. The channel is ##hott (NOTE the *two* hashes!) and you can connect directly through freenode's web interface if you don't already have a client: https://webchat.freenode.net/?channels=%23%23hott Currently we have around 50 members but the more the merrier! If you don't know much about IRC but would like to learn more: * http://www.irchelp.org — how IRC works, software clients, FAQs, and other info * http://freenode.net — info about the freenode IRC network specifically Cheers, Darin Morrison

1 0

Workshop on Termination (deadline extension: July 22)
by Johannes Waldmann 15 Jul '13

15 Jul '13

13th International Workshop on Termination (WST) Centro Residenziale Universitario di Bertinoro (near Bologna, Italy) http://www.imn.htwk-leipzig.de/WST2013/ submission: July 22, 2013 notification: July 25, 2013 final version: August 10, 2013 workshop: August 29 - 31, 2013 The Workshop on Termination traditionally brings together, in an informal setting, researchers interested in all aspects of termination, whether this interest be practical or theoretical, primary or derived. The workshop also provides a ground for cross-fertilisation of ideas from term rewriting and from the different programming language communities. The friendly atmosphere enables fruitful exchanges leading to joint research and subsequent publications. The 13th Workshop on Termination will be held from August 29 to 31, 2013, at the Centro Residenziale Universitario di Bertinoro (Italy). It will be a joint workshop, together with the 3rd International Workshop on Foundational and Practical Aspects of Resource Analysis. The sessions of WST and FOPARA will be interleaved, this way facilitating the interaction between the two communities. ( complete CfP see http://www.imn.htwk-leipzig.de/WST2013/ )

1 0

Re: [Haskell] [Haskell-cafe] ANNOUNCE: MFlow 3.0
by Alberto G. Corona 13 Jul '13

13 Jul '13

My plan is to synchronize MFlow servers using cloud Haskell since the state serialization is small. I´m working on it. However continuation based frameworks can not synchronize state. There is "swarm" in scala that generate portable continuations but this is not used in the context of web application since the state in a continuation is big and can not be synchronized fast enough. In other languages these states are not even portable between machines. 2013/7/10 Alexander Kjeldaas <alexander.kjeldaas(a)gmail.com> > Here are some common-lisp web frameworks using continuations: > > http://common-lisp.net/project/cl-weblocks/ > http://common-lisp.net/project/ucw/features.html > > What always worried me with these frameworks is how they could be made > robust in case of failures. Storing all state in a database backend often > makes it possible to isolate failures. However, it seems to me that it is > be possible to solve this in Haskell where state can be serialized and > synchronized between multiple machines using Cloud Haskell, something that > is error-prone or impossible in other languages. But that step has never > been taken. > > Alexander > > > On Wed, Jul 10, 2013 at 4:48 PM, Alberto G. Corona <agocorona(a)gmail.com>wrote: > >> Thanks Adrian. The racket people where pioneers in this idea I think. >> >> There is another web framework in Ocaml, Osigen that it is also >> continuation based. MFlow is not continuation-based but it also define the >> navigation as a sequence. But only Seaside (and now MFlow) supports many >> flows in the same page. See for example this: >> >> [PDF] *Seaside* – A *Multiple* Control *Flow* Web Application Framework<http://www.google.es/url?sa=t&rct=j&q=&esrc=s&frm=1&source=web&cd=3&cad=rja…> >> >> There is also other: Apache Coccoon that run in a special kind of >> JavaScript. The continuation-based frameworks have the reputation of >> storing a lot of application state and to be non scalable. MFlow >> uses backtracking and It does not have these problems. >> >> >> 2013/7/10 Adrian May <adrian.alexander.may(a)gmail.com> >> >>> Oh how nice! >>> >>> I have been looking at MFlow a lot lately and I think it's got something >>> quite special that Yesod, Happstack, etc don't seem to have, at least, not >>> as far as I know. I mean, look at this: >>> >>> sumWidget= pageFlow "sum" $ do >>> >>> n1 <- p << "Enter first number" ++> getInt Nothing <** submitButton "enter" <++ br >>> >>> >>> >>> >>> >>> n2 <- p << "Enter second number" ++> getInt Nothing <** submitButton "enter" <++ br >>> >>> >>> >>> >>> >>> n3 <- p << "Enter third number" ++> getInt Nothing <** submitButton "enter" <++ br >>> >>> >>> >>> >>> >>> p << ("The result is: "++show (n1 + n2 + n3)) ++> wlink () << b << " menu" >>> >>> >>> >>> >>> >>> <++ p << "you can change the numbers in the boxes to see how the result changes" >>> >>> Is that pretty or what? That's the code for this: >>> >>> http://mflowdemo.herokuapp.com/noscript/fviewmonad >>> >>> To me that's a real technological step over and above the usual servlets >>> paradigm and I'd love to see more people getting involved. It seems like >>> Yesod and Happstack have a lot more manpower behind them, but unless I've >>> missed something, MFlow is going somewhere new and should be helped along. >>> >>> Adrian. >>> >>> PS. Besides Seaside, Racket is playing with the same ideas. They (Jay >>> McCarthy) have something to say about performance but I didn't quite >>> understand it. >>> >>> >>> >>> On 10 July 2013 06:41, Alberto G. Corona <agocorona(a)gmail.com> wrote: >>> >>>> The third version of MFlow is out. >>>> >>>> http://hackage.haskell.org/package/MFlow >>>> >>>> MFlow is an all-heterodox web application framework, but very >>>> haskellish. >>>> >>>> Now MFlow support restful URLs. It is the first stateful web framework >>>> to my knowledge that supports it. The type safe routes are implicitly >>>> expressed as normal monadic code within a navigation monad. The application >>>> look as a normal imperative console application, but the navigation monad >>>> goes back and forth to match the path of the URL. The user has control of >>>> the state, that can roll-back or not when the navigation goes back >>>> depending on the application needs. The state is in the form of normal >>>> Haskell variables In a monadic computation, with the weird addition of >>>> backtracking. >>>> >>>> The menu of the application below is implemented as an imperative-like >>>> syntax, but the application navigate forward and backward to synchronize >>>> with the requests of the web browser: >>>> http://mflowdemo.herokuapp.com/ >>>> >>>> This version support in-page flows. >>>> What is that? look at this example: >>>> >>>> http://mflowdemo.herokuapp.com/noscript/fviewmonad >>>> >>>> These flows are implemented as formlets with a monad instance, and >>>> callbacks which change the look. I call them "widgets": >>>> >>>> >>>> http://haskell-web.blogspot.com.es/2013/06/the-promising-land-of-monadic-fo… >>>> >>>> >>>> Each page may have many of these active widgets, each one running >>>> their own flow. These widgets refresh themselves trough Ajax if they are >>>> enclosed in the primitive "autoRefresh". If there is no Ajax or JavaScript >>>> available, they gracefully degrade by refreshing the entire page: >>>> >>>> http://mflowdemo.herokuapp.com/noscript/combination >>>> >>>> >>>> http://haskell-web.blogspot.com.es/2013/06/and-finally-widget-auto-refreshi… >>>> >>>> The page flows and the multiflow idea was inspired in Seaside<http://www.seaside.st/>, >>>> a great Smalltalk web framework and adapted to the pure recursive nature of >>>> Haskell and the formlets. >>>> >>>> It also support some JQuery widgets integrated: modal and not modal >>>> dialogs, datePicker and other active widgets that handle other widgets. >>>> >>>> It also support the older features: persistent state, WAI, blaze-html >>>> and others integration, server process timeouts, Ajax, requirements, >>>> content management, caching of widget rendering and all the other >>>> previous stuff. >>>> >>>> I wish to thank some people for their feedback. Specially Adrian May >>>> for his feedback and interest >>>> >>>> >>>> -- >>>> Alberto. >>>> >>>> _______________________________________________ >>>> Haskell-Cafe mailing list >>>> Haskell-Cafe(a)haskell.org >>>> http://www.haskell.org/mailman/listinfo/haskell-cafe >>>> >>>> >>> >>> _______________________________________________ >>> Haskell-Cafe mailing list >>> Haskell-Cafe(a)haskell.org >>> http://www.haskell.org/mailman/listinfo/haskell-cafe >>> >>> >> >> >> -- >> Alberto. >> >> _______________________________________________ >> Haskell-Cafe mailing list >> Haskell-Cafe(a)haskell.org >> http://www.haskell.org/mailman/listinfo/haskell-cafe >> >> > -- Alberto.

1 1

Re: [Haskell] [Haskell-cafe] ANNOUNCE: MFlow 3.0
by Alberto G. Corona 13 Jul '13

13 Jul '13

I factored out the submit buttons. Now the three text boxes appear in succession above a unique button below. http://mflowdemo.herokuapp.com/noscript/fviewmonad This is the new code: sumWidget= pageFlow "sum" $ do n ← (do n1 ← p << "Enter first number" ++> getInt Nothing <++ br n2 ← p << "Enter second number" ++> getInt Nothing <++ br n3 ← p << "Enter third number" ++> getInt Nothing <++ br return (n1+ n2 + n3)) <** pageFlow "button" (submitButton "submit") p << ("The result is: "++show n) ++> wlink () << b << " menu" <++ p << "you can change the numbers in the boxes to see how the result changes" 2013/7/10 Adrian May <adrian.alexander.may(a)gmail.com> > Oh how nice! > > I have been looking at MFlow a lot lately and I think it's got something > quite special that Yesod, Happstack, etc don't seem to have, at least, not > as far as I know. I mean, look at this: > > sumWidget= pageFlow "sum" $ do > > n1 <- p << "Enter first number" ++> getInt Nothing <** submitButton "enter" <++ br > > n2 <- p << "Enter second number" ++> getInt Nothing <** submitButton "enter" <++ br > > n3 <- p << "Enter third number" ++> getInt Nothing <** submitButton "enter" <++ br > > p << ("The result is: "++show (n1 + n2 + n3)) ++> wlink () << b << " menu" > > <++ p << "you can change the numbers in the boxes to see how the result changes" > > Is that pretty or what? That's the code for this: > > http://mflowdemo.herokuapp.com/noscript/fviewmonad > > To me that's a real technological step over and above the usual servlets > paradigm and I'd love to see more people getting involved. It seems like > Yesod and Happstack have a lot more manpower behind them, but unless I've > missed something, MFlow is going somewhere new and should be helped along. > > Adrian. > > PS. Besides Seaside, Racket is playing with the same ideas. They (Jay > McCarthy) have something to say about performance but I didn't quite > understand it. > > > > On 10 July 2013 06:41, Alberto G. Corona <agocorona(a)gmail.com> wrote: > >> The third version of MFlow is out. >> >> http://hackage.haskell.org/package/MFlow >> >> MFlow is an all-heterodox web application framework, but very haskellish. >> >> Now MFlow support restful URLs. It is the first stateful web framework >> to my knowledge that supports it. The type safe routes are implicitly >> expressed as normal monadic code within a navigation monad. The application >> look as a normal imperative console application, but the navigation monad >> goes back and forth to match the path of the URL. The user has control of >> the state, that can roll-back or not when the navigation goes back >> depending on the application needs. The state is in the form of normal >> Haskell variables In a monadic computation, with the weird addition of >> backtracking. >> >> The menu of the application below is implemented as an imperative-like >> syntax, but the application navigate forward and backward to synchronize >> with the requests of the web browser: >> http://mflowdemo.herokuapp.com/ >> >> This version support in-page flows. >> What is that? look at this example: >> >> http://mflowdemo.herokuapp.com/noscript/fviewmonad >> >> These flows are implemented as formlets with a monad instance, and >> callbacks which change the look. I call them "widgets": >> >> >> http://haskell-web.blogspot.com.es/2013/06/the-promising-land-of-monadic-fo… >> >> >> Each page may have many of these active widgets, each one running their >> own flow. These widgets refresh themselves trough Ajax if they are enclosed >> in the primitive "autoRefresh". If there is no Ajax or JavaScript >> available, they gracefully degrade by refreshing the entire page: >> >> http://mflowdemo.herokuapp.com/noscript/combination >> >> >> http://haskell-web.blogspot.com.es/2013/06/and-finally-widget-auto-refreshi… >> >> The page flows and the multiflow idea was inspired in Seaside<http://www.seaside.st/>, >> a great Smalltalk web framework and adapted to the pure recursive nature of >> Haskell and the formlets. >> >> It also support some JQuery widgets integrated: modal and not modal >> dialogs, datePicker and other active widgets that handle other widgets. >> >> It also support the older features: persistent state, WAI, blaze-html and >> others integration, server process timeouts, Ajax, requirements, >> content management, caching of widget rendering and all the other >> previous stuff. >> >> I wish to thank some people for their feedback. Specially Adrian May for >> his feedback and interest >> >> >> -- >> Alberto. >> >> _______________________________________________ >> Haskell-Cafe mailing list >> Haskell-Cafe(a)haskell.org >> http://www.haskell.org/mailman/listinfo/haskell-cafe >> >> > > _______________________________________________ > Haskell-Cafe mailing list > Haskell-Cafe(a)haskell.org > http://www.haskell.org/mailman/listinfo/haskell-cafe > > -- Alberto.

1 0

FHIES 2013 Call for Participation
by Jeremy.Gibbons＠cs.ox.ac.uk 11 Jul '13

11 Jul '13

CALL FOR PARTICIPATION Third International Symposium on Foundations of Health Information Engineering and Systems http://www.cs.ox.ac.uk/FHIES2013/ International Institute for Software Technology United Nations University, Macau 21st-23rd August, 2013 AIMS The purpose of the symposium series on Foundations of Health Information Engineering and Systems is to promote a nascent research area that aims to develop and apply theories and methods from a variety of disciplines for the purpose of modeling, building and certifying software-intensive ICT systems in healthcare. A particular objective of FHIES is to explicitly include a focus on healthcare ICT applications in the developing world (in addition to systems used in the developed countries), since unique engineering challenges arise in that special setting. Because humans often play a pivotal role in the process of using such systems, theories from the human factors engineering community may need to be integrated with methods from the technology-oriented domains in order to create effective engineering methodologies for socio-technical systems in the healthcare domain. Previous FHIES symposia were held in 2011, in Mabalingwe ZA (with post-conference proceedings in Springer LNCS 7151), and in 2012, in Paris FR (with post-conference proceedings in Springer LNCS 7789). REGISTRATION Registration is now open for FHIES 2013. The early registration deadline and the hotel reservation deadline are both 6th August 2013: after that point, the registration fee rises, and the reserved hotel rooms are released. The symposium has grown to three days; in addition to three keynote speakers and 19 accepted submissions, there will be two panel discussions, and a full programme of social events. For more information, including a link to the registration site, please visit the conference webpage. KEYNOTE SPEAKERS * Bill Thies, Microsoft Research, IN "Deploying mHealth Technologies in India: Successes, Failures, and Lessons Learned" * Jane Liu, Academia Sinica, TW "Intelligent Tools for Minimizing Medication Dispensing and Administration Errors" * Joe Cafazzo, Centre for Global eHealth Innovation, CA (title to be confirmed) ACCEPTED SUBMISSIONS * Deshendran Moodley, Christopher Seebregts, Anban Pillay and Thomas Meyer "An ontology-driven modeling platform for regulating eHealth interoperability in low resource settings" * Stephan Arlt, Johannes Faber, Zhiming Liu and Nafees Qamar "DiaMac: A Lightweight System for OpenEHR Interoperability Research" * Luciana Cavalini and Timothy Cook "Use of XML Schema Definition for the Development of Semantically Interoperable Healthcare Applications" * Kudakwashe Dube and Thomas Gallagher "Approach and Method for Generating Realistic Synthetic Electronic Healthcare Records for Secondary Use" * Edhelmira Lima Medina, Orlando Loques and Claudio Tinoco Mesquita "Minha Saude: A Health Social Network For Patients With Cardiovascular Problems" * Yihai Chen, Mark Lawford, Hao Wang and Alan Wassyng "Insulin Pump Software Certification" * Sara Khalid, David Clifton and Lionel Tarassenko "A Patient Mixture Model for Detecting Deterioration in Vital Signs using Track-and-Trigger Observations" * Mauro Santos, David Clifton and Lionel Tarassenko "Performance of Early Warning Scoring Systems to detect patient deterioration in the Emergency Department" * Arjan Mooij, Jozef Hooman, and Rob Albers "Early Fault Detection using Design Models for Collision Prevention in Medical Equipment" * Padraig O'Leary, Patrick Buckley and Ita Richardson "Modeling Care Pathways in a Connected Health Setting" * Padraig O'Leary, John Noll and Ita Richardson "A Resource Flow Approach to Modeling Care Pathways" * Marco Carbone, Anders Skovbo Christensen, Flemming Nielson, Hanne R Nielson, Thomas Hildebrandt and Martin Solvkjaer "ICT-powered Health Care Processes" * Franziska Kuehn and Martin Leucker "Research Challenges for the Safe Interconnection of Medical Devices" * Andrew King, Lu Feng, Oleg Sokolsky and Insup Lee "A Modal Specification Approach for Ad-Hoc Medical Systems" * Dominique Mery and Albert Rizaldi "Modeling Blood Glucose and Insulin Regulatory System in Event-B" * Sara Bessling and Michaela Huhn "Towards Formal Safety Analysis in Feature-Oriented Product Line Development" * Pascal Brandt, Deshendran Moodley, Anban Pillay, Christopher Seebregts and Tulio de Oliviera "An Investigation of Classification Algorithms for Predicting HIV Drug Resistance Without Genotype Resistance Testing" * Kudakwashe Dube, Ngonidzashe Zanamwe, Fredrick J. Mtenzi, Jasmine A. Thomson and Gilford T. Hapanyengwi "Modelling the Meal Planning Problem to Exploit Knowledge From National and International Food, Nutrition and Lifestyle Guidelines for Use in Mobile ICT-Based Applications for HIV/AIDS Therapy Management" * Zhiming Liu, Nafees Qamar and Jie Qian "Assessing the Effectiveness of De-identification Tools for Medical Data" ORGANIZERS General chairs: * Zhiming Liu, United Nations University, MO * Jens Weber, University of Victoria, CA Programme chairs: * Jeremy Gibbons, University of Oxford, UK * Wendy MacCaull, St. Francis Xavier University, CA Programme committee: * Ime Asangansi, University of Oslo, NO * Tom Broens, Mobihealth, NL * Lori Clarke, University of Massachusetts, US * David Clifton, University of Oxford, UK * Gerry Douglas, University of Pittsburgh, US * Johannes Faber, IIST, United Nations University, MO * Jozef Hooman, Embedded Systems Institute and Radboud University Nijmegen, NL * Michaela Huhn, Technische Universität Clausthal, DE * Shinsako Kiyomoto, KDDI R&D Laboratories Inc, JP * Craig Kuziemsky, University of Ottawa, CA * Yngve Lamo, Bergen University College, NO * Insup Lee, University of Pennsylvania, US * Orlando Loques, Instituto de Computação, Universidade Federal Fluminense, BR * Gilbert Maiga, Makerere University, UG * Dominique Mery, Université de Lorraine, LORIA, FR * Deshendran Moodley, University of KwaZulu-Natal, ZA * Jun Pang, University of Luxembourg, LU * Manfred Reichert, University of Ulm, DE * Ita Richardson, Lero, University of Limerick, IE * David Robertson, University of Edinburgh, UK * Christopher Seebregts, Jembi Health Systems / Medical Research Council, ZA * Bo Song, Qingdao University of Science and Technology, CN * Alan Wassyng, McMaster University, CA

1 0

Well-Typed are hiring: Haskell developer
by Duncan Coutts 11 Jul '13

11 Jul '13

Fellow Haskellers, We are looking to hire a Haskell expert to work with us at Well-Typed as a Haskell developer. This is an exciting opportunity for someone who is passionate about Haskell and who is keen to improve and promote Haskell in a professional context. The role is quite general and could cover any of the projects and activities that we are involved in as a company. The tasks may involve: * working on the Haskell compiler, libraries and tools; * Haskell application development; * working directly with clients to solve their problems; * teaching Haskell, and developing training materials. At the moment, we are particularly hoping to find someone with an interest in supporting the development and maintenance of GHC. Therefore, some knowledge or interest in compiler internals, operating systems, the foreign function interface (FFI), and/or deployment issues would be welcome. Well-Typed has a variety of clients. For some we do proprietary Haskell development and consulting. For others, much of the work involves open-source development and cooperating with the rest of the Haskell community: the commercial, open-source and academic users. Our ideal candidate has excellent knowledge of Haskell, whether from industry, academia, or personal interest. Familiarity with other languages, low-level programming, and good software engineering practices are also useful. Good organisation and ability to manage your own time, and reliably meet deadlines, is important. You should also have good communication skills. Being interested or having experience in teaching Haskell (or other technical topics) is a bonus. Experience of consulting, or running a business, is also a bonus. You are likely to have a bachelor's degree or higher in computer science or a related field, although this isn't a requirement. The offer is initially for a one-year full time contract. We are also happy to receive applications for part-time work. The annual salary is from GBP 34,800 or pro rata for part-time or flexible work. We also operate a bonus scheme. We offer flexible hours and work from home. Living in England is not required. We may be able to offer either employment or sub-contracting, depending on the jurisdiction in which you live. If you are interested, please apply via info(a)well-typed.com. Tell us why you are interested and why you would be a good fit for the job, and attach your CV. Please also indicate how soon you might be able to start. We are more than happy to answer informal enquiries. Contact Duncan Coutts, Ian Lynagh or Andres Löh for further information, either by email or IRC. To ensure we can properly consider your application, please get it to us by July 25th, 2013, though we may be able to consider applications received later. -- Duncan Coutts, Haskell Consultant Well-Typed LLP, http://www.well-typed.com/ -- Duncan Coutts, Haskell Consultant Well-Typed LLP, http://www.well-typed.com/

1 0