• translation
• dsl design
• type systems
• formal verification

Developer tags

• haskell × 36
• scripting × 23
• unix × 23
• concurrent × 22
• teaching × 20
• web × 19
• generic × 17
• parser combinators × 16
• ffi × 15
• functional × 15
• metaprogramming × 15
• denotational design × 14
• arrows × 11
• ghc × 10
• agile × 9
• gui × 9
• attribute grammar × 8
• categories × 7
• natural language × 7
• parallelism × 7
• graphics × 6
• reactive × 6
• reverse engineering × 6
• network × 5
• physics simulation × 5
• signal processing × 5
• system programming × 5
• bioinformatics × 4
• embedded × 4
• darcs × 3
• database × 3
• numerical computation × 3
• robotics × 3
• transactional business applications × 3
• cabal × 2
• machine learning × 2
• artificial intelligence × 1
• forensics × 1
• packaging × 1
• prototyping × 1