3 results
Core data structures and operations
Decidable propositions.
Haskell 98 phantom types to avoid unsafely passing dummy arguments