Name: #1 => Erik Michaels-Ober on Soft Typing
Start: 2014-12-09T19:30:00+01:00
End: 2014-12-09T22:30:00+01:00
Location: ResearchGate

For the very first Papers We Love Berlin Meetup, we will have Erik Michaels-Ober from SoundCloud presenting the paper Soft Typing by Robert Cartwright and Mike Fagan.

This is particularly interesting for Rubyists, because Ruby 3.0 might ship with such a type system.

Abstract:

This paper presents a soft type systems that retains the expressiveness of dynamic typing, but offers the early error detection and improved optimization capabilities of static typing. The key idea underlying soft typing is that a type checker need not reject programs containing "ill-typed" phrases. Instead, the type checker can insert explicit run-time checks, transforming "ill-typed" programs into type-correct ones.

PDF: http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.24.9333&rep=rep1&type=pdf

Thanks to ResearchGate for hosting this first edition!

Igor

Papers We Love - Berlin

Technology

Software Development

New Technology

Intellectual Discussions

Cloud Computing

Computer Science

Computer Programming

Computing

Academics

#1 => Erik Michaels-Ober on Soft Typing

ResearchGate

Share

Papers We Love - Berlin

#1 => Erik Michaels-Ober on Soft Typing

Papers We Love - Berlin

Details

Members are also interested in