‹Programming› 2019
Mon 1 - Thu 4 April 2019 Genoa, Italy

0 results

People (5 results)
François-René Rideau

François-René Rideau

LegiCash

… will pick the low-hanging fruits first, but as part of a plan to pick all

Shriram Krishnamurthi

Shriram Krishnamurthi

Brown University, United States

… I am the Vice President for Programming Languages at Brown University in Providence, RI, USA. I’m not, really, but that’s what it says on my business card.

I believe tropical fruit are superior to all

Didier Verna

Didier Verna

EPITA / LRDE

… LaTeX packages and Common Lisp libraries.

All of this is in fact half-true: two …

Events (15 results)

One Monad to Prove Them All

Research Papers When: Thu 4 Apr 2019 12:00 - 12:30 People: Sandra Dylus, Jan Christiansen, Finn Teegen

… One Monad to Prove Them All is a modern fairy tale about curiosity and perseverance, two important properties of a successful PhD student. We follow the PhD … for specific monad instances she is able to prove properties that hold for all

Scrap your DSL Boilerplate with a Universe of Syntaxes, their Programs and Proofs

CoCoDo 2019 When: Tue 2 Apr 2019 09:00 - 10:30 People: Guillaume Allais

… and for all by generic programming; and (2) how to derive properties …

TryLinks: An interactive tutorial system for a cross-tier Web programming language

ProWeb'19 When: Mon 1 Apr 2019 16:25 - 16:50 People: Junao Wu, Arek Mikolajczak, James Cheney

… to costly errors or security vulnerabilities. In Links, programs combine all

Draw This Object: A Study of Debugging Representations

PX/19 When: Mon 1 Apr 2019 09:30 - 10:00 People: Matúš Sulír, Ján Juhár

… , whether all objects have an appropriate domain-specific view, or what clues could …

News (1 results)

Full-text PDFs of <Programming> 2019 papers are now available!

Author: Tobias Pape

The full-text PDFs for the second volume of the The Art, Science, and Engineering of Programming are now available!

All these journal papers will be presented Wednesday, April 3 and Thursday …

Attending Information (4 results)

Sponsorship

… in the event area, on the Web site and on all conference promotion materials. * A link … in the event area, on the Web site and on all conference promotion materials … shown in the event area, on the Web site and on all conference promotion …

Students

… of applicants. In order to be refunded, applicants will have to keep all receipts …

Accommodation

… ) with discounted prices for guests of the University of Genova. All prices are in Euro (€) per …

Tracks (11 results)

PX/19

… will follow the Writers’ Workshop format. For that, please download and read [_all … the Writers’ Workshop format. For that, please download and read [all submissions … should be so marked, and the program committee will engage in peer review for all

12th European Lisp Symposium

… The purpose of the European Lisp Symposium is to provide a forum for the discussion and dissemination of all aspects of design, implementation and application …, to be registered on-site every day.

All submissions should be formatted …

VPT 2019

… /unfold transformations, and supercompilation, have all been applied …

General (12 results)

CoCoDo 2019 Homepage

… CoCoDo 2019 Welcome to the website of the CoCoDo 2019 conference. We are working hard to fill the website with all related information. Please check back soon! 4c0edeca-f1de-406b-8323-ede10daa6a91 …

PX/19 Homepage

… PX 2019 Welcome to the website of the PX 2019 conference. We are working hard to fill the website with all related information. Please check back soon! b4f6281b-0a6b-4d8c-bbe3-b057b9c7cb19 …

ELS 2019 Homepage

… ELS 2019 Welcome to the website of the ELS 2019 conference. We are working hard to fill the website with all related information. Please check back soon! …