Modular Macros (Poster/Demo Talk) (PEPM 2018 - — ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation) - POPL 2018

Sun 7 - Sat 13 January 2018 Los Angeles, California, United States

Who

Olivier Nicole, Leo White, Jeremy Yallop

Track

Time Zone

The program is currently displayed in (GMT-08:00) Tijuana, Baja California.

Use conference time zone: (GMT-08:00) Tijuana, Baja CaliforniaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

When

Tue 9 Jan 2018 16:30 - 16:40 at Crocker - Session 2-3 Chair(s): Barry Jay

Abstract

A demonstration of Modular Macros, an extension to OCaml for typed compile-time metaprogramming

File attachments

(Nicole-PEPM18.pdf)	307KiB

Olivier Nicole

Leo White

Jane Street

Jeremy Yallop

University of Cambridge, UK

Time Zone

The program is currently displayed in (GMT-08:00) Tijuana, Baja California.

Use conference time zone: (GMT-08:00) Tijuana, Baja CaliforniaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Session Program

Tue 9 Jan
Times are displayed in time zone: Tijuana, Baja California change

	16:00 - 17:30: Session 2-3PEPM at Crocker Chair(s): Barry JayUniversity of Technology Sydney

	16:00 - 16:10 Talk		Towards Language-independent Code Synthesis (Poster/Demo Talk) PEPM Jan BessaiTechnical University Dortmund, Boris DüdderUniversity of Copenhagen, George HeinemanWorcester Polytechnic Institute, Jakob RehofTechnical University Dortmund File Attached
	16:10 - 16:20 Talk		Dataflow Metaprogramming (Poster/Demo Talk) PEPM Dominic Duggan, Jianhua YaoStevens Institute of Technology
	16:20 - 16:30 Talk		An Approach to Generating Text-Based IDEs with Syntax Completion (Poster/Demo Talk) PEPM Isao SasanoShibaura Institute of Technology
	16:30 - 16:40 Talk		Modular Macros (Poster/Demo Talk) PEPM Olivier Nicole, Leo WhiteJane Street, Jeremy YallopUniversity of Cambridge, UK File Attached
	16:40 - 16:50 Talk		Equations: From Clauses to Splittings to Functions (Poster/Demo Talk) PEPM Cyprien Mangin, Matthieu SozeauInria File Attached
	16:50 - 17:30 Other		Posters/Demos PEPM