Канал: James Koppel

Contagion (2011): What defines "works?"

Contagion (2011): What defines "works?"

Cubix Tutorial: Lecture Component, Part 2

Cubix Tutorial: Lecture Component, Part 2

Cubix Tutorial: Lecture component, part 1

Cubix Tutorial: Lecture component, part 1

Teaser video: "Semantic Code Search via Equational Reasoning"

Teaser video: "Semantic Code Search via Equational Reasoning"

The Gist of ALL(*)

The Gist of ALL(*)

EAG Boston 2017: The Catastrophic Risk of Software Maintenance

EAG Boston 2017: The Catastrophic Risk of Software Maintenance

Visual programming for program synthesis (Noisebridge, 4/20/2017)

Visual programming for program synthesis (Noisebridge, 4/20/2017)

James Koppel: Cracking Multi-Language Transformation (Technion, Haifa -- 1/9/2017)

James Koppel: Cracking Multi-Language Transformation (Technion, Haifa -- 1/9/2017)

James Koppel Live Stream

James Koppel Live Stream

Rewriting Code in Every Language: Strategy Combinators for Compositional Data Types

Rewriting Code in Every Language: Strategy Combinators for Compositional Data Types

Jimmy / Elliott Interview

Jimmy / Elliott Interview

SFTTPL: Intro to Linear Logic

SFTTPL: Intro to Linear Logic