Все публикации

0:44:42

The DSL Chrestomathy MetaLib

1:21:06

Inaugural Vloeberghs Chair Lecture

0:28:20

Ownership Management

0:38:35

Developer Workflow Analysis

0:33:47

System F and type extensions

0:35:05

Abstract interpretation

0:39:22

Higher order functions in Haskell

0:37:40

Basics of Java reflection

0:18:20

An introduction to denotational semantics

0:15:53

External DSL style

0:15:29

Internal DSL style

0:16:47

An introduction to type systems

0:18:35

An introduction to the lambda calculus

0:13:07

Small-step operational semantics (An introduction)

0:15:50

Big-step operational semantics (An introduction)

0:35:20

The Haskell Road to Software Language Engineering and Metaprogramming

0:18:26

interpretation

0:08:41

Tree-based abstract syntax

0:10:52

Program generation with template processing

0:01:11

Exploring the surroundings of Schloß Dagstuhl

0:00:22

Merzig-to-Wadern

0:07:03

A quick ride to Boppard

0:05:04

Linked Software Data

0:33:02

Functional data structures