Posts tagged with "Scala"

• Typed Functional Programming and Software Correctness
• Gave a Talk on Types in Programming
• More on Subtyping
• Announcing: Talk on the Role of Types in Programming
• Refinement Types
• A Subtyping Polymorphism Misfortune
• Equality Broken in Scala
• Firehosing KLEE
• Scripting in Scala
• I'm Into Scala
• Working on Imperative Programming Code Ain't Fun
• Going with JVM Languages