Skip to content

DEV Community

# typetheory

👋 Sign in for the ability to sort posts by relevant, latest, or top.

Vsevolod

Sep 27 '23

Expanding Horizons

#typetheory #java

12 min read

May 26 '23

Exploring Type Theory and Rust in my Learning Journey

#rust #linearity #typetheory #borrowchecker

5 min read

Vsevolod

May 17 '23

Optionality in Java 8 and beyond

#java #typetheory

6 min read

Gavin Mendel-Gleason for TerminusDB Community

Mar 23 '20

Type and mode checking in prolog (part 2): mavis

#typetheory #prolog #determinism

5 min read

Gavin Mendel-Gleason for TerminusDB Community

Mar 23 '20

Prolog meta-interpretation for syntax checking

#typetheory #prolog #functionalprogrammi #logicprogramming

3 min read

Gavin Mendel-Gleason for TerminusDB Community

Mar 23 '20

Type and mode checking in prolog (part 1): type_check

#typetheory #prolog

5 min read

Txus for codegram

Sep 17 '19

Becoming a logician with TypeScript

#typescript #typetheory #logic

5 min read

Brian Neville-O'Neill

Jul 8 '19

When to use `never` and `unknown` in Typescript

#frontenddev #typetheory #typescript #tutorial

9 min read

loading...