Peter Thiemann
- A Falsification View of Success Typing
2015/02/04 by Robert Jakob, Jakob, Robert, Peter Thiemann +1 · 1 citation
Computer Science · #FOS: Computer and information sciences #Logic, programming, and type systems #Programming Languages (cs.PL) #Software Engineering Research #Software Testing and Debugging Techniques
- Derivatives for Enhanced Regular Expressions
2016/05/03 by Peter Thiemann, Thiemann, Peter · 1 citation
Computer Science · #68Q45 #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic, programming, and type systems #Natural Language Processing Techniques #semigroups and automata theory