Programming-Based Formal Languages and Automata Theory

Animated Program Design

This textbook presents a systematic methodology for program development by using design recipe...

Implementation and Application of Functional Languages

This book constitutes the thoroughly refereed post-conferenceproceedings of the 22nd Internat...

Animated Problem Solving

This textbook is about systematic problem solving and systematic reasoning using type-driven desi...

Animated Program Design

This textbook presents a systematic methodology for program development by using design recipes, ...

Animated Problem Solving

This textbook is about systematic problem solving and systematic reasoning using type-driven desi...

Animated Program Design

This textbook presents a systematic methodology for program development by using design recipes, ...

Programming-Based Formal Languages and Automata Theory

This textbook introduces formal languages and automata theory for upper-level undergraduate or be...

Programming-Based Formal Languages and Automata Theory

This textbook introduces formal languages and automata theory for upper-level undergraduate or be...

Implementation and Application of Functional Languages

contributing authors.