Part 1 of this article introduced four new T-SQL functions available in SQL Server 2012. Part 2 has the rest.

Racket 6.11 brings refinement types and dependent function types to its Typed Racket variant.