A talk on DSL for shell scripting in OCaml is given at IPSJ PRO workshop
A talk on “OCommand: A Domain Specific Language for Type Safe Shell Programming in OCaml” is given by Izumi Asakura, Hidehiko Masuhara, and Tomoyuki Aotani at the 99th IPSJ PRO workshop.