All-purpose | Everything Else

Functional Programming and Input/Output

by Andrew D. Gordon

2021-02-03 02:44:50

Compare Price
A common attraction to functional programming is the ease with which proofs can be given of program properties. A common disappointment with functional programming is the difficulty of expressing input/output (I/O) while at the same time being able t... Read more
A common attraction to functional programming is the ease with which proofs can be given of program properties. A common disappointment with functional programming is the difficulty of expressing input/output (I/O) while at the same time being able to verify programs. Here, the author shows how a theory of functional programming can be smoothly extended to admit both an operational semantics for functional I/O and verification of programs engaged in I/O. He obtains, for the first time, operational semantics for the three most widely implemented I/O mechanisms for lazy languages, and proves that the three are equivalent in expressive power. He also develops semantics for a form of monadic I/O and verifies a simple programming example. These theories of functional I/O are based on an entirely operational theory of functional programming, developed using Abramsky''s "applicative bisimulation." Graduate students and researchers will gain much from reading this book. Less

Book Details

ISBN9780521070072
autor-image
Andrew D. Gordon
Author
...

Compare Prices

Store Availability Book Format Condition Price
Indigo Books & Music In Stock Buy CAD 37.99
Indigo Books & MusicIn Stock
Format
Condition
Buy CAD 37.99
Available Discount
No Discount available

Related Books

View All
${ornaments[Math.floor(Math.random()*ornaments.length)]}
House of Shadows: An Enthralling Historical Mystery
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Going to School
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Can't Make This Stuff Up!: Finding the Upside to Life's Downs
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
We Are Not Friends (You Are Not Small)
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Secrets Between Us: An absolutely gripping psychological thriller
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
American Moonshot: John F. Kennedy and the Great Space Race
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Falter: Has the Human Game Begun to Play Itself Out?
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
There Was an Old Lady Who Swallowed a Chick!
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
The Pout-Pout Fish
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
The Wonderful Things You Will Be
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Good Night, Little Blue Truck
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Clean & Lean: 30 Days, 30 Foods, a New You!
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Made for Me
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Trillion Dollar Coach: The Leadership Playbook of Silicon Valley's Bill Campbell
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Hurricane Season
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
The Silent Woman (Cat Carlisle, Book 1)
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Diary of an Awesome Friendly Kid: Rowley Jefferson's Journal
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Commander in Cheat: How Golf Explains Trump
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
You Be You: Detox Your Life, Crush Your Limitations, and Own Your Awesome
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
The Book Club
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Feed Your Best Friend Better: Easy, Nutritious Meals and Treats for Dogs
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
The Secret Wife: A captivating story of romance, passion and mystery
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Row, Row, Row Your Boat (Indestructibles Series)
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Twinkle, Twinkle, Little Star (Indestructibles Series)
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Life Will Be the Death of Me: ...And You Too!
☆ ☆ ☆ ☆ ☆

Join us and get access to all
your favourite books

Sign up for free and start exploring thousands of eBooks today.

Sign up for free

Stay in touch.

© 2026 AMPLE READS