• haskell
• type systems

Developer tags

• dsl design × 93
• web × 90
• formal verification × 88
• scripting × 82
• unix × 82
• translation × 79
• concurrent × 68
• ffi × 68
• teaching × 68
• generic × 57
• functional × 55
• metaprogramming × 52
• parser combinators × 49
• gui × 48
• arrows × 41
• graphics × 35
• network × 31
• system programming × 29
• denotational design × 28
• agile × 26
• ghc × 26
• parallelism × 26
• categories × 25
• reactive × 24
• signal processing × 22
• attribute grammar × 21
• database × 19
• natural language × 18
• physics simulation × 18
• packaging × 16
• reverse engineering × 16
• numerical computation × 14
• embedded × 13
• machine learning × 9
• transactional business applications × 9
• bioinformatics × 7
• cabal × 7
• robotics × 7
• darcs × 6
• computational geometry × 5
• audio × 4
• prototyping × 4
• artificial intelligence × 3
• forensics × 2