Name: PWL #23: A New Implementation Technique for Applicative Languages
Start: 2016-09-08T18:30:00-07:00
End: 2016-09-08T21:30:00-07:00
Location: Whitepages

PWL Mini
Tristan Penman presents A Few Useful Things to Know about Machine Learning (http://homes.cs.washington.edu/~pedrod/papers/cacm12.pdf).

At just over eight pages, this paper by Pedro Domingos delivers an approachable summary of some of the challenges and misunderstandings faced by those new to the field of Machine Learning.

The Main Event
David Graunke presents A New Implementation Technique for Applicative Languages (http://foswiki.cs.uu.nl/foswiki/pub/Cco/CourseResources/new_implementation_technique.pdf) from 1979.

The paper describes a technique for eliminating bound variables from lambda calculus programs by compiling to a small set of combinators, and describes a machine for executing the resulting combinator programs.

This paper is a pretty gentle introduction to the challenges of implementing functional languages in a way that's simple and efficient. The compilation algorithm in the paper is based on a very small set of rewrite rules that makes it easy to understand and implement (and fun to do by hand!).

Who What Where?
Thanks to Whitepages for hosting! Enter the building through the doors on 4th Ave, and head for the elevators in the southwest corner of the building. Suite 1600 is on the 16th floor!

Keep it Classy
We abide by and enforce the PWL Code of Conduct (https://github.com/papers-we-love/seattle/blob/master/code-of-conduct.md). Please give it a read and involve one of the organizers if you need help.

David Murray

Vishwanath

David Graunke

Papers We Love @ Seattle

Technology

Open Source

Intellectual Discussions

Learning

Engineering

Computer Science

Intellectual Curiosity

Education & Technology

New Technology

Research & Development Engineer

Computer Programming

Technology Professionals

Researchers

PWL #23: A New Implementation Technique for Applicative Languages

Whitepages

Share

Papers We Love @ Seattle

PWL #23: A New Implementation Technique for Applicative Languages

Papers We Love @ Seattle

Details

Members are also interested in