POPL 2020

Intriniscally-Typed Interpretation of Linear Languages

Sep 17, 2020

|

25 views

ACM SIGPLAN

Details

Presenter: Arjen Rouvoet Unfortunately, the speaker view is stuck for most (until about 9:40) of the video. Presented at CPP'20, located at POPL 2020.

Category: POPL 2020

Comments

loading...

Reactions (0) | Note

📝 No reactions yet

Be the first one to share your thoughts!

Reactions(0)

Note

loading...

Recommended

ICAPS 2012: Invited Talk by Anthony Cohn

ICAPS | Aug 15, 2014

ICAPS 2012: Invited talk by George Pappas

ICAPS | Aug 18, 2014

ICAPS 2012: Opening Remark & Invited Talk by Robert Ambrose

ICAPS | Aug 18, 2014

ICAPS 2012: Session Ia on "Temporal Planning & Scheduling"

ICAPS | Aug 18, 2014

ICAPS 2012: Session Ib on "Combining Heuristics and Search for Optimal Planning"

ICAPS | Aug 18, 2014