• haskell
• agile
• formal verification

Developer tags

• scripting × 21
• unix × 21
• web × 21
• concurrent × 17
• dsl design × 17
• parser combinators × 17
• teaching × 16
• type systems × 16
• functional × 13
• translation × 13
• network × 12
• parallelism × 10
• ffi × 9
• generic × 9
• system programming × 9
• arrows × 7
• database × 7
• gui × 7
• packaging × 7
• metaprogramming × 6
• natural language × 6
• signal processing × 6
• transactional business applications × 6
• ghc × 4
• prototyping × 4
• reactive × 4
• reverse engineering × 4
• categories × 3
• physics simulation × 3
• attribute grammar × 2
• embedded × 2
• graphics × 2
• machine learning × 2
• numerical computation × 2
• robotics × 2
• artificial intelligence × 1
• cabal × 1
• darcs × 1
• denotational design × 1