CS 3820, Spring 2020
Aaron Stump
Some lecture materials from CS 3820, "Programming Language Concepts", at The University of Iowa Spring 2020. I am posting these as part of taking my class virtual due to the COVID-19 pandemic. The part of the class covered is mostly on Agda.
Podcasts Similar to CS 3820, Spring 2020
engrsayful 3Speak Podcast (86.21%)
None
A Short History of Man: Progress and Decline (86.09%)
Hans-Hermann Hoppe
Combined Calculus (Chapters 3 - 6) (84.95%)
Baruch College
Applied Calculus (Chapters 1 - 3) - Course (84.58%)
None
[Audio] ECE 695s Nanophotonics (84.04%)
Vladimir M. Shalaev
Hot GirlSummer (84.01%)
Rodolfo Carbajal
Core Topics in University Mathematics (83.68%)
The University of Nottingham
Felipe Gonzalez (83.4%)
Felipe Gonzalez
Electrical podcast (82.86%)
Gowtham kumar
Natural Opportunities (82.8%)
Daniel Parsnow
From Symmetric Nets to Symmetric Nets with Bags (82.66%)
Fabrice Kordon
From Symmetric Nets to Symmetric Nets with Bags (2015 edition, full HD) (82.6%)
Fabrice Kordon
Introduction to polymers - for iBooks (82.59%)
The Open University
[Audio] 2017 Micro and Nanoscale Science for Addressing Grand Challenges (82.53%)
Purdue NSAC
Superconductivity - for iBooks (82.47%)
The Open University
Free Radicals (82.45%)
Lakshya Sharma
Mathematical Design for Solid Complex Materials (82.34%)
Cambridge University
Lea Verou’s blog (82.34%)
None
Axioms (82.31%)
Socratica
What is graphene? (82.28%)
Carbon Waters
Building Surveying For Professionals Podcast (82.23%)
Cardoe Martin
Whole Through Process (82.19%)
Whole Through Process
Chemistry for the Future: Strange Substances and Structures (82.17%)
Oxford University
Algebraic Reasoning (82.03%)
None
The Ashok Leyland School, Hosur Grade 10 Chemistry (82.02%)
Florence Selvakumari
Majestic MECH (81.84%)
Mazhar D Marshall
Teacher Jems (81.77%)
Jemar Tanguilan
Bbg (81.58%)
Teddy Sheibley
SPARK SCIENCE (81.55%)
T3CHN0
xavier5230 (81.54%)
xavier5230
Anely :3 (81.52%)
Anely Moreno
Arch Books On Roll..! (81.5%)
abor_studios
AtoZ CSS (81.4%)
Guy Routledge: front-end developer, teacher and screencaster
#WhySoBusy (81.33%)
DHKD6
Asbestos Watch Adelaide (81.27%)
Asbestos Watch Adelaide
Textile Update (81.22%)
Gwendolyn Hustvedt
TextileUpdate (81.21%)
Gwendolyn Hustvedt
Manufacturing - for iBooks (81.17%)
The Open University
History - LearnEnglish (81.04%)
British Council | LearnEnglish
Property Leaders (80.92%)
Tim Constable
Adventures in the Physical Metallurgy of Steels (80.9%)
Cambridge University
UI UX Design (80.88%)
Habib ullah
Andrea Garcia (80.88%)
Andrea garcia
The Doorpreneur Podcast (80.84%)
Tony LeBlanc
Ms. Tunnell's Podcast (80.76%)
Mary Tunnell
1.1 absolute value functions podcast (80.6%)
Kasandra Campos
The Powers of Math (80.59%)
Courtney Powers
Oahu Mold Testing & Removal (80.57%)
Michael Han
AQA GCSE Chemistry Revision (80.56%)
Becky Spencer-Woodcock
Year 6 (80.54%)
Wicor
The Chemistry of Volcanoes (80.47%)
Matthew Kearney
Math 2 (80.45%)
Evelyn Galvan-Martinez
Chemistry (80.44%)
J.Laxmi Mangamma
Property Developer Podcast (80.43%)
Justin Gehde
The Damp Show (80.41%)
The Damp Show
Rona Baniel (80.33%)
Rona Baniel
Jack Golden. ‘A Journey Through Business’ (80.25%)
Jack Golden
Better Living with Phil Argent (80.22%)
Phil Argent
Superhost Unveiled (80.19%)
Superhost Unveiled
Bogdan Gura (80.17%)
Bogdan Gura
The propertyCEO Podcast (80.08%)
Ian Child & Ritchie Clapson
Bamboo fibre blocks UV (80.07%)
Deakin University
The Admirable Bashville by George Bernard Shaw (80.07%)
Loyal Books
Interactions between Dynamics of Group Actions and Number Theory (80.06%)
Cambridge University
fdamartin (79.93%)
None
Plan Design Build Repeat (79.92%)
Rachael Gowling
Hometown Talks with Save Davidson (79.9%)
Save Davidson
A Handbook of Health by Woods Hutchinson (79.89%)
Loyal Books
Heating engineers Bromley homes will adore - click here (79.89%)
Nest installation London
Unlocked by Matt Landau (79.89%)
Matt Landau: Vacation Rental Marketer & Podcaster
Elemental Fun (79.88%)
Grace and Cindy
Techsplained with The Guest Innspector (79.88%)
Deborah Labi
ToughKatt Chronicles (79.83%)
Tough Katt
The Trailblazer Podcast (79.78%)
Paul Smith
STS: Basic Math (79.69%)
PapaPodcasts
The Well-Read Anarchist (79.6%)
James Corbett
The Financial Reporting Podcast (79.56%)
Frimpong Mansoh Cobbina
Rethmann's Remit (79.52%)
JJ Rethmann
Property Law 2022 (79.5%)
Thomas Coggin
House extensions Guildford (79.47%)
Alexa Jones
Sheepy - Leave the group (79.47%)
Sheepy - Leave the group
Private Property (79.47%)
Podiobooks.com
Nivedita Singh (79.45%)
nivedita singh
math 2 honors (79.43%)
kevin rojas
Fernando's Podcast (79.42%)
Fernando Cardenas
Samma Podcast (Podcast Arsitektur dan Interior) (79.36%)
Samma Studio
Renovie with Naomi Findlay (79.36%)
Naomi Findlay
Arapahoe High School Chemistry Podcast (79.34%)
Brian Hatak and Chuck Lutz
Let's Talk Host's Premier (79.33%)
maxey2015
Designed For Wellbeing Podcast (79.3%)
Philippa and Tom Charrier
msprince's Podcast (79.3%)
In Class with Dr. Prince
#DoorGrowShow - Property Management Growth (79.29%)
Jason Hull - Property Management Expert, Marketing Nerd, Entrepreneur Coach
The Official Property Entrepreneur Podcast (79.29%)
Daniel Hill
Arlene's Podcast (79.28%)
Arlene Camacho
Private Property (79.23%)
Seth Kenlon on Podiobooks.com
Braeside Surveyors's Podcast (79.21%)
Braeside Surveyors
Glen Stewart’s math review podcast (79.18%)
Glen Stewart
The Ben Lowrey Podcast (79.18%)
Ben Lowrey
Elevate Your Bookings (79.18%)
Conrad O. & Alessandra C.