Discovered Pages
» Kickin' the Darkness: Concretizing Static Typing Metadata http://blog.kickin-the-darkness.com/2008/02/concretizing-static-typing-metadata.html
» What To Know Before Debating Type Systems http://cdsmith.twu.net/types.html
Discover From Related Topics
development
dynamic
explicit
functional
haskell
language
programming
scala
security
self
static
Discover From This Topic & Page: [Discover] Kickin' the Darkness: Concretizing Static Typing Metadata http://blog.kickin-the-darkness.com/2008/02/concretizing-static-typing-metadata.html
[Discover] A type-based solution to the "strings problem": a fitting end to XSS and SQL-injection holes? http://blog.moertel.com/articles/2006/10/18/a-type-based-solution-to-the-strings-problem
(security development programming haskell) [Discover] The Scala Programming Language: Explicitly Typed Self References http://www.scala-lang.org/intro/selfrefs.html (types scala self explicit)
[Discover] Kickin' the Darkness: Concretizing Static Typing Metadata http://blog.kickin-the-darkness.com/2008/02/concretizing-static-typing-metadata.html (programming language static dynamic)