A lean specification for gadts: System F with first-class equality proofs (Q656862): Difference between revisions

@@ Property / cites work @@
+Typing dynamic typing
@@ Property / cites work: Typing dynamic typing / rank @@
+Normal rank
@@ Property / cites work @@
+Libraries for Generic Programming in Haskell
@@ Property / cites work: Libraries for Generic Programming in Haskell / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient self-interpretation in lambda calculus
@@ Property / cites work: Efficient self-interpretation in lambda calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Stratified type inference for generalized algebraic data types
+Normal rank
@@ Property / cites work @@
+Complete and decidable type inference for GADTs
@@ Property / cites work: Complete and decidable type inference for GADTs / rank @@
+Normal rank
@@ Property / cites work @@
+Principal Type Inference for GHC-Style Multi-parameter Type Classes
+Normal rank
@@ Property / cites work @@
+A Framework for Extended Algebraic Data Types
@@ Property / cites work: A Framework for Extended Algebraic Data Types / rank @@
+Normal rank
@@ Property / cites work @@
+Q4332424
@@ Property / cites work: Q4332424 / rank @@
+Normal rank
@@ Property / cites work @@
+Boxy types
@@ Property / cites work: Boxy types / rank @@
+Normal rank