Volume 199; Issue none

1

Preface

Year:
2008
Language:
english
File:
PDF, 91 KB
english, 2008
2

A Logical Framework with Explicit Conversions

Year:
2008
Language:
english
File:
PDF, 284 KB
english, 2008
3

Meta-programming With Built-in Type Equality

Year:
2008
Language:
english
File:
PDF, 320 KB
english, 2008
6

A Meta Linear Logical Framework

Year:
2008
Language:
english
File:
PDF, 354 KB
english, 2008
7

Normalization for the Simply-Typed Lambda-Calculus in Twelf

Year:
2008
Language:
english
File:
PDF, 272 KB
english, 2008
8

A Coq Library for Verification of Concurrent Programs

Year:
2008
Language:
english
File:
PDF, 309 KB
english, 2008
9

Imperative LF Meta-Programming

Year:
2008
Language:
english
File:
PDF, 235 KB
english, 2008
10

Redundancy Elimination for LF

Year:
2008
Language:
english
File:
PDF, 328 KB
english, 2008