Search Results

You searched for: subject "Functional Programming (Computer Science)" Remove constraint

Search Results

Cover image for Adapting proofs-as-programs

Adapting proofs-as-programs

Joyner Library - General Stacks
Call Number: QA9.54 .P64 2005
Cover image for Functional programming, concurrency, simulation and automated reasoning

Functional programming, concurrency, simulation and automated reasoning

Joyner Library - General Stacks
Call Number: QA76.61 .F858 1993
Cover image for Pattern calculus

Pattern calculus

Location
Access Content Online