Programming Languages with Applications to Biology and Security