10

Call-by-push-value: Decomposing call-by-value and call-by-name

Year:
2006
Language:
english
File:
PDF, 1022 KB
english, 2006
34

Infinite trace equivalence

Year:
2008
Language:
english
File:
PDF, 851 KB
english, 2008
35

Monads and Adjunctions for Global Exceptions

Year:
2006
Language:
english
File:
PDF, 344 KB
english, 2006
36

Global State Considered Helpful

Year:
2008
Language:
english
File:
PDF, 390 KB
english, 2008
38

Infinite Trace Equivalence

Year:
2006
Language:
english
File:
PDF, 486 KB
english, 2006
48

Iron and manganese in the wake of the Kerguelen Islands (Southern Ocean)

Year:
2001
Language:
english
File:
PDF, 454 KB
english, 2001
49

Adjunction Models For Call-By-Push-Value With Stacks

Year:
2003
Language:
english
File:
PDF, 268 KB
english, 2003