44:42
The DSL Chrestomathy MetaLib
01:21:06
Inaugural Vloeberghs Chair Lecture
28:20
Ownership Management
38:35
Developer Workflow Analysis
35:05
Abstract interpretation
33:47
System F and type extensions
39:22
Higher order functions in Haskell
37:40
Basics of Java reflection
18:20
An introduction to denotational semantics
15:53
External DSL style
15:29
Internal DSL style
16:47
An introduction to type systems
18:35
An introduction to the lambda calculus
13:07
Small-step operational semantics (An introduction)
15:50
Big-step operational semantics (An introduction)
35:20
The Haskell Road to Software Language Engineering and Metaprogramming
18:26
interpretation
08:41
Tree-based abstract syntax
10:52
Program generation with template processing
01:11
Exploring the surroundings of Schloß Dagstuhl
00:22
Merzig-to-Wadern
07:03
A quick ride to Boppard
05:04
Linked Software Data
33:02
Functional data structures
05:44
Music for Jürgen Ebert's farewell
08:49
Software Development for Start-up Entrepreneurs
00:21
New Year's Eve 2013 #riga center
02:08
HartmannBabnikSchubert
00:42
Mittelrhein Museum
05:04
Apple's trackpad in the blender
07:06
bildverarbeitung.mov
02:18
Best-Of-Treppenvorlesung OOPM
00:09
20 beer coasters
01:04
Andernach_Geysir
08:06
gttse09a
09:54
orm3
07:00
orm2
08:22
orm1
09:50
sumwordlength
02:33
VadimZ
X
About
Tags