types-list@lists.seas.upenn.edu

1

reply

Interaction between type classes and modules

started 2018-12-03 18:42:56 UTC

2018-12-04 08:15:27 UTC

Steven Shaw

0

replies

Programming Language Foundations in Agda

started 2018-12-02 06:22:58 UTC

2018-12-02 06:22:58 UTC

Philip Wadler

4

replies

Equi recursive types: logical relations and intuition

started 2018-11-15 04:38:27 UTC

2018-11-20 06:11:51 UTC

Marco Patrignani

1

reply

"Proofs of life"

started 2018-11-09 02:38:55 UTC

2018-11-09 13:27:21 UTC

Rene Vestergaard

2

replies

Do erasable boxes form a monad?

started 2018-10-26 02:46:47 UTC

2018-10-27 00:55:16 UTC

Stefan Monnier

0

replies

Martin Hofmann memorial talk

started 2018-10-25 15:32:56 UTC

2018-10-25 15:32:56 UTC

Benjamin C. Pierce

6

replies

correctness of closure conversion for untyped lambda calculus wrt. denotational semantics

started 2018-10-02 00:14:16 UTC

2018-10-03 17:12:02 UTC

Jeremy Siek

4

replies

models of untyped lambda calculus

started 2018-09-17 03:29:39 UTC

2018-09-22 20:30:57 UTC

Gabriel Scherer

9

replies

Progress + Preservation = Evaluation

started 2018-07-06 20:49:48 UTC

2018-07-19 11:47:29 UTC

Philip Wadler

4

replies

Transfinite universe levels

started 2018-07-11 02:50:11 UTC

2018-07-13 08:31:25 UTC

Dan Doel

0

replies

Max on terminology: "Graduality" instead of "Gradual Guarantee"

started 2018-07-12 16:46:42 UTC

2018-07-12 16:46:42 UTC

Gabriel Scherer

2

replies

What is the state of the art of call-by-value computing?

started 2018-07-08 21:39:37 UTC

2018-07-10 17:36:07 UTC

Roman

0

replies

meta thread on types-announces filtering of announces

started 2018-06-23 22:09:35 UTC

2018-06-23 22:09:35 UTC

Gabriel Scherer

0

replies

Decidable equality of propositions implies proof irrelevance

started 2018-06-03 18:23:50 UTC

2018-06-03 18:23:50 UTC

Dominik Kirst

0

replies

What algebra am I thinking of?

started 2018-05-23 03:36:49 UTC

2018-05-23 03:36:49 UTC

Valeria de Paiva

0

replies

Generalised Covariant and Contravariant inference rules

started 2018-05-20 21:05:20 UTC

2018-05-20 21:05:20 UTC

Aaron Gray

2

replies

System F and System T names

started 2018-04-06 16:07:19 UTC

2018-04-06 19:10:04 UTC

Alejandro Díaz-Caro

15

replies

What algebra am I thinking of?

started 2018-03-27 04:30:32 UTC

2018-03-31 07:30:17 UTC

Peter Selinger

6

replies

breaking abstraction with ML exceptions

started 2018-03-28 14:49:46 UTC

2018-03-29 14:35:07 UTC

Oleg

5

replies

Existing Work on Function Destructors or Haskell Type Spec?

started 2018-03-19 18:52:26 UTC

2018-03-20 22:09:54 UTC

m***@ccs.neu.edu

4

replies

Typed lambda calculi with weak conversion

started 2018-02-25 17:06:46 UTC

2018-03-01 20:09:46 UTC

Thibaut Balabonski

1

reply

A new take on bracket abstraction, and a historical question about the first take

started 2018-02-26 17:24:10 UTC

2018-02-26 19:11:59 UTC

Gabriel Scherer

6

replies

Best pedagogical presentation of CPS?

started 2018-02-14 23:53:26 UTC

2018-02-18 07:59:32 UTC

Yuting Wang

1

reply

Martin Hofmann (1965-2018)

started 2018-02-09 05:12:43 UTC

2018-02-09 23:09:26 UTC

Eijiro Sumii

2

replies

preterms

started 2018-02-04 04:03:18 UTC

2018-02-06 10:17:18 UTC

Jay Sulzberger

2

replies

Objects in type theory

started 2018-01-12 06:37:27 UTC

2018-01-16 12:23:11 UTC

Kim Bruce

15

replies

Statement of structural induction

started 2018-01-07 04:23:34 UTC

2018-01-15 13:59:59 UTC

Frédéric Blanqui

2

replies

judgemental eta for function types

started 2017-12-19 15:10:32 UTC

2017-12-22 14:55:39 UTC

Matthieu Sozeau

12

replies

I: On Dependent types and Subtyping's consistency

started 2017-12-12 15:57:03 UTC

2017-12-21 16:34:53 UTC

Rodolphe Lepigre

1

reply

An Expressive Type System helping for run-time verification

started 2017-12-16 08:15:41 UTC

2017-12-16 21:05:12 UTC

Dorel Lucanu