Macros Matter: infrastructure for building new programming languages
发布人
打开封面 下载高清视频 观看高清视频 视频下载器
...
Functional Programming 2012
...
PL: Programming Languages 2018
...
Programming Languages 2016
...
15-819 Homotopy Type Theory
...
Comp4330 Real-Time and Embedded Systems 2017
...
The 90 Minute Scheme to C compiler by Mark Feeley
...
CS1730 Programming Languages 2012
...
Programming Tutorial by William E. Byrd
...
Structure and Interpretation of Computer Programs
...
Programming Languages 2018 and 2019
...
15-418 Parallel Computer Architecture and Programming 2013
...
CS1730 Programming Languages 2016
...
Programming Languages Background 2016
...
CSE130 Programming Languages 2017
...
NPTEL Model Checking 2015
...
Formal Methods 2014
...
Probabilistic Systems Analysis and Applied Probability
...
Software Defined Networking
...
301 Organization of Programming Languages 2020
...
Keynote_ From Scheme to Typed Racket
...
CSE160 Intro to Parallel Computing 2018
...
CS410 Advanced Functional Programming 2017 University of Strathclyde
...
UIUC Introduction to Parallel Programming 2015
...
Functional Data Structures 2017
...
Macro Writer's Bill of Rights (Dan Friedman's 60th Birthday)
...
CS5510 Lecture 22 macro
...
15-418 Parallel Computer Architecture and Programming 2014
...
System Validation
...
Model Checking
...
INF4820 - 01
...
Machine Learning 10-601 2006
...
Submodular Functions, Optimization, and Applications
...
Programming Languages — Past Achievements and Future Challenges
...
CS5510 Lecture 26 Let-Macro
...
CS169 Engineering Software as a Service 2015
...
Programming in Agda 2014
...
EE261 The Fourier Transform and its Applications
...
Modern English Grammar 2018 现代英语语法
...
C311 Programming Languages 2020 后1/2
...
Fundamentals of Music Theory