Rusty Variation: Deadlock-free Sessions with Failure in Rust von Kokke, Wen

Volltext

Prioritise the Best Variation von Kokke, Wen, Dardha, Ornela

Volltext

Separating Sessions Smoothly von Fowler, Simon, Kokke, Wen, Dardha, Ornela, Lindley, Sam, Morris, J. Garrett

Volltext

Taking Linear Logic Apart von Kokke, Wen, Montesi, Fabrizio, Peressotti, Marco

Volltext

TOWARDS RACES IN LINEAR LOGIC von Kokke, Wen, Morris, J. Garrett, Wadler, Philip

Volltext

Programming language foundations in Agda von Kokke, Wen, Siek, Jeremy G., Wadler, Philip

Volltext

Prioritise the Best Variation von Kokke, Wen, Dardha, Ornela

Volltext

Better late than never: a fully-abstract semantics for classical processes von Kokke, Wen, Montesi, Fabrizio, Peressotti, Marco

Volltext

Neural Networks, Secure by Construction: An Exploration of Refinement Types von Kokke, Wen, Komendantskaya, Ekaterina, Kienitz, Daniel, Atkey, Robert, Aspinall, David

Volltext

Featherweight go von Griesemer, Robert, Hu, Raymond, Kokke, Wen, Lange, Julien, Taylor, Ian Lance, Toninho, Bernardo, Wadler, Philip, Yoshida, Nobuko

Volltext

Auto in Agda: Programming Proof Search Using Reflection von Kokke, Wen, Swierstra, Wouter

Volltext

A Semantic Proof of Generalised Cut Elimination for Deep Inference von Atkey, Robert, Kokke, Wen

Volltext bestellen

Prioritise the Best Variation von Kokke, Wen, Dardha, Ornela

Volltext

Towards Races in Linear Logic von Kokke, Wen, Morris, J. Garrett, Wadler, Philip

Volltext

Rusty Variation: Deadlock-free Sessions with Failure in Rust von Kokke, Wen

Volltext

Deadlock-Free Session Types in Linear Haskell von Kokke, Wen, Dardha, Ornela

Volltext bestellen

A Semantic Proof of Generalised Cut Elimination for Deep Inference von Atkey, Robert, Kokke, Wen

Volltext

Efficient compilation of expressive problem space specifications to neural network solvers von Daggitt, Matthew L, Kokke, Wen, Atkey, Robert

Volltext bestellen

Formalising Type-Logical Grammars in Agda von Kokke, Wen

Volltext bestellen

Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs von Daggitt, Matthew L, Kokke, Wen, Atkey, Robert, Slusarz, Natalia, Arnaboldi, Luca, Komendantskaya, Ekaterina

Volltext bestellen