BT

Your opinion matters! Please fill in the InfoQ Survey!

You are now in FULL VIEW
CLOSE FULL VIEW

Pony: Co-designing a Type-system and a Runtime
Recorded at:

| by Sylvan Clebsch Follow 0 Followers on Jun 14, 2017 | NOTICE: The next QCon is in London Mar 5-19, 2018. Join us!
50:29

Summary
Sylvan Clebsch talks about Pony, an actor-model, capabilities-secure, native programming language. He talks about reference capabilities (a type system for data-race freedom influenced by object capabilities and deny guarantee reasoning), the ORCA and MAC protocols for fully concurrent no-stop-the-world garbage collection of both objects and actors, and extending Pony to the distributed setting.

Sponsored Content

Bio

Sylvan Clebsch is the designer of the Pony programming language. He works at Microsoft Research Cambridge in the Programming Language Principles group. He is interested in massively concurrent and distributed systems, garbage collection, type systems, actor-model programming, and trusted computing.

Software is changing the world. QCon empowers software development by facilitating the spread of knowledge and innovation in the developer community. A practitioner-driven conference, QCon is designed for technical team leads, architects, engineering directors, and project managers who influence innovation in their teams.

Login to InfoQ to interact with what matters most to you.


Recover your password...

Follow

Follow your favorite topics and editors

Quick overview of most important highlights in the industry and on the site.

Like

More signal, less noise

Build your own feed by choosing topics you want to read about and editors you want to hear from.

Notifications

Stay up-to-date

Set up your notifications and don't miss out on content that matters to you

BT