ICFP 2018 (series) / Scheme 2018 (series) /
Scheme 2018 Program
This is the Scheme 2018 program - see the full program for ICFP 2018 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Fri 28 SepDisplayed time zone: Guadalajara, Mexico City, Monterrey change
Fri 28 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change
09:00 - 10:00 | |||
09:00 60mTalk | From Scripting to Proving: Gradual Verification with a Scheme Scheme David Van Horn University of Maryland, USA |
10:20 - 11:00 | |||
10:20 20mTalk | Growing Schemes: Twenty Years of Scheme Requests for Implementation Scheme Arthur Gleckler SRFI Editor | ||
10:40 20mTalk | Loop Patterns: Extension of Kleene Star Operator for More Powerful Pattern Matching against Arbitrary Data Structures Scheme Satoshi Egi Rakuten Institute of Technology |
11:20 - 12:00 | |||
11:20 20mTalk | Temporal Logic, μKanren, and a Time-Traveling RDF Database Scheme | ||
11:40 20mTalk | A Surprisingly Competitive Conditional Operator: miniKanrenizing the Inference Rules of Pie Scheme Benjamin Boskin , Weixi Ma , David Thrane Christiansen Galois, USA, Daniel Friedman Indiana University |
13:30 - 14:10 | |||
13:30 20mTalk | Racets: Faceted Execution in Racket Scheme Kristopher Micinski Haverford College, Zhanpeng Wang Haverford College, USA, Thomas Gilray University of Maryland | ||
13:50 20mTalk | An Efficient Compiler for the Gradually Typed Lambda Calculus Scheme Andre Kuhlenschmidt Indiana University, Deyaaeldeen Almahallawi Indiana University, Jeremy G. Siek Indiana University, USA |
14:30 - 15:10 | |||
14:30 20mTalk | Schism: A Self-Hosting Scheme to WebAssembly Compiler Scheme Eric Holk Google | ||
14:50 20mTalk | Tail Calling Between Code Generated by C and Native Backends Scheme |
15:30 - 16:10 | |||
15:30 40mTalk | Rebuilding Racket on Chez Scheme: An Experience Report Scheme Matthew Flatt University of Utah |