List questions from typed-lambda-calculus

Published on 07 November 2018 at 18:45

249

Views

What are the weird equations found while researching Simply Typed Lambda Calculus

Published on 07 September 2020 at 05:31

1.4k

Views

Type checking vs type inference

Published on 30 September 2018 at 13:06

236

Views

Using Typescript, how do I type the functional True function?

Published on 02 April 2020 at 07:21

273

Views

Is there simple way to extend simply typed lambda calculus with monad types?

Published on 26 August 2021 at 22:54

194

Views

Right way to define lambda-calculus constructors

Published on 21 August 2018 at 12:19

58

Views

The `repeat` syntax of gradual typed lambda calculus defined by Racket?

Published on 24 April 2020 at 07:26

1.1k

Views

Proof trees for simply typed lambda calculus

Published on 02 November 2016 at 23:18

209

Views

Simply typed Lambda calculas

Published on 29 November 2016 at 13:20

42

Views

Example of the undecidability of higher-order unification

Published on 14 February 2022 at 16:36

117

Views

Writing a more strongly typed interpreter

Published on 19 February 2022 at 03:06

792

Views

What is the canonical implementation of System F?

Published on 25 June 2016 at 02:38

164

Views

System F Church numerals in Agda

Published on 06 June 2019 at 13:55

List Question

Recursion in the calculus of construction

What are the weird equations found while researching Simply Typed Lambda Calculus

Type checking vs type inference

Using Typescript, how do I type the functional True function?

Is there simple way to extend simply typed lambda calculus with monad types?

Right way to define lambda-calculus constructors

The `repeat` syntax of gradual typed lambda calculus defined by Racket?

Proof trees for simply typed lambda calculus

Simply typed Lambda calculas

Example of the undecidability of higher-order unification

Writing a more strongly typed interpreter

What is the canonical implementation of System F?

System F Church numerals in Agda

Trending Questions

Popular # Hahtags

Popular Questions