Browse by Journal or other publication
Jump to: Article
Number of items: 1.
Article
Johann, Patricia and Ghani, Neil (2009) A principled approach to programming with nested types in Haskell. Higher-Order and Symbolic Computation, 22 (2). pp. 155-189.