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

0 results

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

François-René Rideau

… …

Shriram Krishnamurthi

Shriram Krishnamurthi

… …

Didier Verna

Didier Verna

… …

Events (6 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

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

ProWeb'19 People: Nick Wu, Arek Mikolajczak, James Cheney

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

Another Decade of SOM Language Implementation: Virtual Machines for Research and Teaching

Demos People: Stefan Marr

… support all these features seamlessly. Even industry got curious about …

Comprehensive Multiparty Session Types

Research Papers When: Thu 4 Apr 2019 11:00 - 11:30 People: Andi Bejleri, Elton Domnori, Malte Viering, Patrick Eugster, Mira Mezini

… in the language. Our system covers all the features of the original and variants …, meta-theory and type system of our system are given. We modelled all

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

… marked, and the program committee will engage in peer review for all such papers. Video publication will be arranged.

All artifacts are to be submitted via … and motivated to read the paper. Reviewers are under no obligation to read all or even …

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! …