POPL 2020

Implementing a Capability Machine Model into Iris

Sep 17, 2020

|

27 views

ACM SIGPLAN

Details

Presenter: Aina Linn Georges Presented at PriSC'20, colocated with 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 2014: Miquel Ramírez on "Directed Fixed-Point Regression-Based Planning..."

ICAPS | Sep 22, 2014

Representation Learning: A Review and New Perspectives

AISTATS 2014 | Nov 12, 2014

Playing Atari with Deep Reinforcement Learning | Two Minute Paper

Two Minute Papers | Mar 7, 2015

ICAPS 2014: Menkes van den Briel on "Flow-based Heuristics for Optimal Planning"

ICAPS | Mar 13, 2015

ICAPS 2014: Jendrik Seipp on "Diverse and Additive Cartesian Abstraction Heuristics"

ICAPS | Apr 14, 2015