• functional
• generic

Developer tags

• haskell × 37
• type systems × 27
• formal verification × 22
• scripting × 22
• unix × 22
• translation × 20
• dsl design × 19
• web × 19
• concurrent × 18
• teaching × 18
• ffi × 16
• metaprogramming × 16
• arrows × 13
• gui × 13
• denotational design × 12
• parser combinators × 12
• categories × 9
• graphics × 9
• network × 8
• physics simulation × 8
• attribute grammar × 7
• parallelism × 7
• reactive × 7
• reverse engineering × 7
• natural language × 6
• packaging × 6
• signal processing × 6
• system programming × 6
• agile × 5
• embedded × 5
• robotics × 5
• ghc × 4
• bioinformatics × 3
• computational geometry × 3
• database × 3
• numerical computation × 3
• transactional business applications × 3
• cabal × 2
• darcs × 1
• forensics × 1
• machine learning × 1