SqlCommandProvider provides statically typed access to input parameters and result set of T-SQL command in idiomatic F# way.
SqlProgrammabilityProvider exposes Stored Procedures, User-Defined Types and User-Defined Functions in F# code.
More information can be found in the documentation.