ENIAC Day Webinar: Stephanie Weirich speaks about Programming Language Design

preview_player
Показать описание
Stephanie Weirich, ENIAC President's Distinguished Professor
Computer and Information Science at Penn Engineering, speaks about Programming Language Design: From Grace Hopper to Today. This is lecture seven of nine in the ENIAC Day series.
  1. Penn Engineering
Рекомендации по теме
ENIAC Day Webinar: 0:21:48

ENIAC Day Webinar: Stephanie Weirich speaks about Programming Language Design

ENIAC Day Webinar: 0:17:38

ENIAC Day Webinar: Sebastian Angel speaks on Programming & Building Large-Scale Distributed Syst...

Stephanie Weirich: 'Strongly 1:15:25

Stephanie Weirich: 'Strongly Typed System F in GHC'

Stephanie Weirich: A 0:58:49

Stephanie Weirich: A Dependent Dependency Calculus

Designing Dependently-Typed Programming 1:22:20

Designing Dependently-Typed Programming Languages - Lecture 1 - Stephanie Weirich

Depending on Types 0:45:07

Depending on Types - Stephanie Weirich

ENIAC Video zusammenschnit 0:02:07

ENIAC Video zusammenschnit

Engineering In 100 0:02:15

Engineering In 100 Seconds: Susan Davidson

[PLMW'22] Finding a 0:39:22

[PLMW'22] Finding a research topic (or being found by a research topic?)

ACM and Climate 0:08:08

ACM and Climate Change

Haskell talks at 0:09:11

Haskell talks at Mercury - Demo of trygrace.dev, by Gabriella Gonzalez

An Existential Crisis 0:13:54

An Existential Crisis Resolved: Type Inference for First-Class Existential Types

Module 1: Introduction 0:58:12

Module 1: Introduction to Software Analysis

Computer Full Form|Full 0:06:31

Computer Full Form|Full Form of Computer|Important Computer Abbreviation|A-Z|Part-2|Aradhya GR...!

Composable References and 0:49:59

Composable References and the Yoneda Lemma