63 How can I explain to my parents that I study programming languages? 2016-05-01T15:01:57.167

19 Are universal types a sub-type, or special case, of existential types? 2012-01-02T12:55:49.437

18 ML function of type 'a -> 'b 2012-03-13T11:21:21.667

16 What are the major differences between row polymorphism and subtyping 2016-03-04T15:21:43.613

11 Constraint-based Type Inference with Algebraic Data 2012-04-06T23:09:22.253

11 Why will the Hindley-Milner algorithm never yield a type like t1 -> t2? 2014-01-01T03:28:39.107

7 ML functions from polymorphic lists to polymorphic lists 2012-03-14T00:11:34.063

7 Inheritance, and dynamic access to members/attributes and methods in Java-like languages 2012-11-20T13:08:40.163

7 Is it possible to do Dependent Types in Typed Racket? 2013-10-08T11:39:46.047

6 Efficient subtype testing 2012-06-02T11:00:24.770

5 Algorithm for type conversion / signature matching 2012-07-10T18:28:31.157

5 Is dependency analysis required in order to type a program? 2014-05-03T07:29:34.857

5 Polymorphism restriction on lambda-bound variables in HM 2017-03-27T07:36:44.697

5 Local type argument synthesis when type variable does not appear in arguments 2017-04-12T04:28:14.320

5 How could one write typing rules with variables defined at call-site? 2017-10-31T01:44:59.910

4 Scala as a language for Generic Programming 2012-11-25T19:15:36.523

4 Meaning of type inference rule for abstraction in lambda-calculus 2014-07-24T02:01:01.243

4 How is type safety handled differently between reference and value types? 2017-12-07T19:20:58.663

3 Is the type inference here really complicated? 2012-06-28T00:23:38.443

3 Language independent software libraries 2013-06-03T16:40:06.870

3 Is there a term for the common semantics of global variables, static local variables, and fields? 2014-04-30T23:38:51.307

3 Isn't Domain of a variable nothing but a constraint? 2015-05-27T07:58:15.800

2 Handling untrusted string input in printf in C 2012-12-10T05:08:17.723

2 How is the following ML Curry expression evaluated 2013-02-19T19:34:54.980

2 If dynamically typed languages are truly statically typed, unityped languages, what is the (finite) type expression of the one type? 2013-12-11T00:05:49.997

2 Would adding recursive named functions to Simply typed lambda calculus make it Turing complete? 2013-12-22T05:19:44.457

2 Can type information be encoded in the untyped lambda calculus? 2014-01-16T17:13:25.953

2 What is the Inversion Lemma 2014-02-19T21:59:17.200

2 Confusion about data types, compilers, hardware data representation and static vs dynamic typing 2015-11-28T18:18:14.787

2 Identification and the definition of data type 2016-07-22T21:07:24.950

2 Is type inference done by an interpreter static or dynamic? 2016-09-17T15:43:12.517

2 Lambda Calculus Type Inference 2016-10-17T19:45:41.923

2 Typing by value 2017-12-14T22:45:05.880

1 How is a type system related to a progam? 2014-01-17T18:35:03.183

1 Can Java be accurately described as statically and dynamically typed? 2014-04-07T17:47:03.420

1 Extending the type scheme for Burks/Warren/Wright machine to handle operators on functions? 2014-05-10T08:53:03.993

1 How does one guarantee that the commutative, associative and distributive properties hold for a type? 2014-07-02T13:30:05.687

1 What is effect typing useful for when all global effects already have to be in the IO monad? 2015-03-14T10:15:02.053

1 Typing rules of coinductive types? 2016-10-05T07:45:26.270

0 Why are types and grammar non-terminals so distinct? 2014-11-20T16:19:54.263

0 Pierce's Types and Programming Languages : circular definition of terms? 2014-11-23T12:01:48.723

0 How does a language abstract away from underlying byte machines? 2016-05-02T13:47:05.613

-1 What concept is for a name referring to different types at different points in execution? 2016-09-16T20:19:20.700

-1 What is a type definition? 2017-05-04T21:51:23.513