[Haskell] APLAS 2014: Call for Participation
===
12th Asian Symposium on Programming Languages and Systems (APLAS)
November 17-19, 2014, Singapore
http://loris-7.ddns.comp.nus.edu.sg/~aplas14
===
C A L LF O RP A R T I C I P A T I O N
C A L LF O RP O S T E R S
APLAS aims to stimulate programming language research by providing a forum for
the presentation of latest results and the exchange of ideas in programming
languages and systems. APLAS is based in Asia, but is an international forum
that serves the worldwide programming language community.
APLAS is sponsored by the Asian Association for Foundation of Software (AAFS),
founded by Asian researchers in cooperation with many researchers from Europe
and the USA. Past APLAS symposiums were successfully held in Melbourne ('13),
Kyoto ('12), Kenting ('11), Shanghai ('10), Seoul ('09), Bangalore ('08),
Singapore ('07), Sydney ('06), Tsukuba ('05), Taipei ('04) and Beijing ('03)
after three informal workshops. Proceedings of the past symposiums were
published in Springer's LNCS.
The symposium is devoted to foundational and practical issues in programming
languages and systems.
Invited Speakers
Zhenjiang HuNII, Japan
Dexter KozenCornell University, USA
Julien VerlaguetFacebook, USA
Program Committee
-
General chair
Wei-Ngan Chin National University of Singapore, Singapore
Program chair
Jacques GarrigueNagoya University, Japan
Program committee
Xiaojuan CaiShanghai Jiao Tong University, China
James Chapman Institute of Cybernetics, Estonia
Cristian Gherghina Singapore University of Technology and Design
Eric Goubault CEA LIST and Ecole Polytechnique, France
Fei He Tsinghua University, China
Gerwin KleinNICTA and UNSW, Australia
Raghavan Komondoor Indian Institute of Science, Bangalore
Paddy Krishnan Oracle, Australia
Daan Leijen Microsoft Research, USA
Yasuhiko Minamide University of Tsukuba, Japan
Shin-Cheng Mu Academia Sinica, Taiwan
Sungwoo ParkPohang University of Science and Technology,
Korea
Julian Rathke University of Southampton, UK
Sukyoung RyuKAIST, Korea
Alexandra Silva Radboud University Nijmegen, Netherlands
Martin Sulzmann Karlsruhe University of Applied Sciences,
Germany
Munehiro Takimoto Tokyo University of Science, Japan
Jan Vitek Purdue University, USA
Hongwei Xi Boston University, USA
Venue
-
The conference will be held at the Kent Ridge Guild House of the National
University of Singapore. Local information and registration are available at the
following web site:
http://loris-7.ddns.comp.nus.edu.sg/~aplas14
Call for Poster (Deadline 15th Sept 2014)
http://loris-7.ddns.comp.nus.edu.sg/~aplas14/cfposters.html
Poster Chair: Cristian Gherghina
= Monday, November 17th
=
08:30-09:00 Registration
09:00-10:00 ** Invited Talk:
What is the Essence of Bidirectional Programming?
Zhenjiang Hu (NII, Japan)
10:00-10:30 Coffee break
10:30-12:00 Session 1
Optimized Compilation of Multiset Rewriting with Comprehensions
Edmund Soon Lee Lam, Iliano Cervesato (CMU, Qatar)
Logic Programming and Logarithmic Space
Clément Aubert, Marc Bagnol, Paolo Pistone (Institut de
Mathématiques de Marseille, France),Thomas Seiller (Institut des
Hautes Études Mathématiques,France)
Automatic Memory Management Based on Program Transformation using
Ownerships
Tatsuya Sonobe, Kohei Suenaga, Atsushi Igarashi (Kyoto Univ.,
Japan)
12:00-13:30 Lunch and Posters
13:30-14:30 Session 2
The Essence of Ruby
KatsuhiroUeno, YutakaFukasawa(Tohoku University,
Japan),Akimasa Morihata (Univ. of Tokyo, Japan), Atsushi Ohori
(Tohoku Univ., Japan)
Types for Flexible Objects
Zachary Palmer, Scott Smith, Hari Menon, Alexander Rozenshteyn
(The Johns Hopkins Univ., USA)
14:30-16:00 Posters and Tea
16:00-17:30 Session 3
A Translation of Intersection and Union Types for the lambda-mu
Calculus
Kentaro Kikuchi (RIEC, Tohoku Univ., Japan), Takafumi Sakurai
[Haskell] ANN: Helium now available from Hackage
Dear Haskellers, I am happy to inform you that the programmer-friendly Helium Haskell compiler, known for its focus on error messages and hints, domain specific type error diagnosis, and its compilation logging facility, is now available from Hackage. All you need to do is cabal install helium cabal install lvmrun and you should be ready to go. The system has been tested under various instances of Windows, Mac, and Linux. To use Helium, there is a texthint program that is much like ghci (but less powerful), and a runhelium program that behaves like runhaskell. NB. the Hint environment is not yet availalble in this way (and, being pure Java, I am not sure if we will make it available in this way), and the server for logging the compiled programs is also not made available in this way. If you have a need for either of these, please e-mail me. There is a website too: http://www.cs.uu.nl/foswiki/Helium/WebHome To dispell one of the frequent misunderstandings about Helium: Helium DOES support a form of overloading. But overloading is restricted to specific classes: Num, Eq, Ord, Show and Enum, with instances for Eq and Show being derived, and for the others the instances are fixed. In other words: you can't write your own classes and instances. If you want, you can turn overloading off entirely, and profit from better error messages. Any feedback is appreciated. Replying to this e-mail will do, or mail us at hel...@cs.uu.nl . cheers, Jurriaan Hage writing for the Helium Team PS. no need to bother telling us about the warnings you get when compiling with GHC 7.8.x. We know about them, and they will be fixed in a future release. As it happens, we prepared this version of Helium with GHC 7.6.3. ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
[arch-haskell] Pandoc fails creating document with citation styles
Hi guys I must admit that Haskell is unfamiliar territory and requires far more time to debug -- time that I do not have. For this reason I must seek your help in troubleshooting an issue with pandoc, citations and citation styles. A while ago when the Haskell stuff were all in the official repos I successfully used pandoc with citations (--biblio) and *.csl style files (--csl $file). [1] Now that I have moved over to using the arch-haskell repos (after a hiatus from markdown), I see that this no longer works: ~$ pandoc test.md -o test.pdf --biblio test.bib --csl apa.csl pandoc-citeproc: error while parsing the XML string pandoc: Error running filter pandoc-citeproc In fact, none of the example styles included inside haskell-pandoc-citeproc works and they output the same error. You may get the test files from [1] and one or more csl files to test from /usr/share/i386-linux-ghc-7.8.3/pandoc-citeproc-0.5/tests/. I also reported this upstream [2] and it looks like the problem is downstream -- either my system, the dependency chain, or a packaging error somewhere. I would appreciate it if someone else could first reproduce the error, and then we can try to fix it. Thanks! Regards [1] https://bugs.archlinux.org/task/35657 [2] https://groups.google.com/forum/#!msg/pandoc-discuss/76DoTPISouA/6uAyjvTz820J -- GPG/PGP ID: C0711BF1 ___ arch-haskell mailing list arch-haskell@haskell.org http://www.haskell.org/mailman/listinfo/arch-haskell
Re: [arch-haskell] Pandoc fails creating document with citation styles
On Sat, Sep 06, 2014 at 01:43:06PM +0600, Ray Rashif wrote: Hi guys I must admit that Haskell is unfamiliar territory and requires far more time to debug -- time that I do not have. For this reason I must seek your help in troubleshooting an issue with pandoc, citations and citation styles. A while ago when the Haskell stuff were all in the official repos I successfully used pandoc with citations (--biblio) and *.csl style files (--csl $file). [1] Now that I have moved over to using the arch-haskell repos (after a hiatus from markdown), I see that this no longer works: ~$ pandoc test.md -o test.pdf --biblio test.bib --csl apa.csl pandoc-citeproc: error while parsing the XML string pandoc: Error running filter pandoc-citeproc In fact, none of the example styles included inside haskell-pandoc-citeproc works and they output the same error. You may get the test files from [1] and one or more csl files to test from /usr/share/i386-linux-ghc-7.8.3/pandoc-citeproc-0.5/tests/. I also reported this upstream [2] and it looks like the problem is downstream -- either my system, the dependency chain, or a packaging error somewhere. I would appreciate it if someone else could first reproduce the error, and then we can try to fix it. Thanks! I ran into this a week or two ago but haven't had time to look into it. I used a manually modified citation style that I got from one of those main citation style sites. What I did notice is that using the default style (i.e. not specifying any CSL at all) works. I'm not sure, but I suspect that piecemeal turning the default CSL into one that is accepted might reveal what causes the issue. Then it's easier to assign blame, pandoc-citeproc, pandoc, XML parser lib, etc... /M -- Magnus Therning OpenPGP: 0xAB4DFBA4 email: mag...@therning.org jabber: mag...@therning.org twitter: magthe http://therning.org/magnus As long as there are ill-defined goals, bizarre bugs, and unrealistic schedules, there will be Real Programmers willing to jump in and Solve The Problem, saving the documentation for later. Long live Fortran! -- Ed Post pgpzkfhFr57nF.pgp Description: PGP signature ___ arch-haskell mailing list arch-haskell@haskell.org http://www.haskell.org/mailman/listinfo/arch-haskell
