DEV Community

DEV Community is a community of 554,041 amazing developers

We're a place where coders share, stay up-to-date and grow their careers.

Create new account Log in

loading...

The Curry-Howard Correspondence in C# Series' Articles

Back to Brian Berns's Series

Dec 31 '19

The Curry-Howard Correspondence in C#

#csharp #dotnet #functional #logic

3 min read

Jan 10 '20

The Curry-Howard Correspondence in C#: Part 2

#csharp #dotnet #functional #logic

3 min read

Jan 26 '20

Double negation in C#

#csharp #dotnet #logic #functional

4 min read

Jan 28 '20

Continuation passing style in C#

#csharp #dotnet #logic #functional

4 min read