Watch YouTube videos with Chrome. Yes, get Chrome now.

ACM SIGPLAN
Videos
Playlists
Channels
Discussion
About

Best of YouTube
- Music
- Sports
- Gaming
- News
- Live
- 360° Video
- Browse channels
Sign in to like videos, comment, and subscribe.

Sign in

We’ll stop supporting this browser soon. For the best experience please update your browser.

Watch Queue

Queue

Watch QueueQueue

The next video is starting

Loading...

Watch Queue

Queue

__count__/__total__

ACM SIGPLAN

654

Loading...

Loading...

Working...

Home
Videos
Playlists
Channels
Discussion
About

CoqPL'20

ACM SIGPLAN
8 videos
153 views
Last updated on Jan 25, 2020

Play all

Loading...

Sign in to YouTube

Sign in

			SMTCoq: Safe and Efficient Automation in Coq by ACM SIGPLAN			59:05
			Verifying Concurrent Go Code in Coq with Goose by ACM SIGPLAN			29:00
			An Equations Tutorial by ACM SIGPLAN			27:26
			Deriving Instances with Dependent Types by ACM SIGPLAN			25:19
			Autosubst 2: Reasoning with de Bruijn Terms and Substitutions by ACM SIGPLAN			56:03
			Towards Formally Verified Just-In-Time Compilation by ACM SIGPLAN			29:28
			A Coq Library of Undecidable Problems by ACM SIGPLAN			30:53
			Session with the Coq Development Team by ACM SIGPLAN			44:08

History

Loading...

Loading...

Loading...

About
Press
Copyright
Creators
Advertise
Developers

Terms
Privacy
Policy & Safety
Send feedback
Test new features

Loading...

Working...

Sign in to add this to Watch Later

Add to

Loading playlists...