Propositions as sessions von WADLER, PHILIP

Volltext

Propositions as sessions von Wadler, Philip

Volltext

Explicit Weakening von Wadler, Philip

Volltext

Gradual session types von Igarashi, Atsushi, Thiemann, Peter, Vasconcelos, Vasco T., Wadler, Philip

Volltext

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

Volltext

A simple blame calculus for explicit nulls von LHOTÁK, ONDŘEJ, WADLER, PHILIP

Volltext

Practical Aspects of Declarative Languages: 5th International Symposium, PADL 2003, New Orleans, la, USA, January 13-14, 2003, Proceedings von Dahl, Veronica, Wadler, Philip

Volltext

Gradual session types von IGARASHI, ATSUSHI, THIEMANN, PETER, TSUDA, YUYA, VASCONCELOS, VASCO T., WADLER, PHILIP

Volltext

The root cause of blame: contracts for intersection and union types von Williams, Jack, Morris, J. Garrett, Wadler, Philip

Volltext

Preface – 22nd Brazilian Symposium on Formal Methods – SBMF 2019 von Duran, Adolfo, Wadler, Philip

Volltext

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

Volltext

Editorial message von Wadler, Philip

Volltext

The marriage of effects and monads von Wadler, Philip, Thiemann, Peter

Volltext

GATE: Gradual Effect Types von Wadler, Philip

Volltext

The Girard–Reynolds isomorphism (second edition) von Wadler, Philip

Volltext

Programming Language Foundations in Agda von Wadler, Philip

Volltext

Monads for functional programming von Wadler, Philip

Volltext

A practical theory of language-integrated query von Cheney, James, Lindley, Sam, Wadler, Philip

Volltext

Theorems for free for free: parametricity, with and without types von Ahmed, Amal, Jamner, Dustin, Siek, Jeremy G., Wadler, Philip

Volltext

Pre-deployment Analysis of Smart Contracts von Munir, Sundas

Volltext bestellen