Top network posts

• 25 Are there any annotated formal verification systems for pure functional programming languages?
• 20 How does lifting (in a functional programming context) relate to category theory?
• 17 Can you create functions that return functions of a dependent arity in a dependently typed language?
• 17 Are regular haskell algebraic data types equivalent to context free grammars? What about GADTS?
• 13 Is there a reasonable scientific backing for Carl Jung's type theories?
• 12 "Generalized arrows" and proc notation?
• 11 Making numeric functions an instance of Num?
• View more network posts →