Programming with Types

Programming with Types

4/5

(17 голосов)

Впервые опубликовано: 2019
Издатели: Manning Publications Co. LLC
Язык: English

Книги

Serban Vlad-Boolean Systems

Boolean Systems

Serban Vlad

Vlad Gromov-German Shepherd

German Shepherd

Vlad Gromov

Nomen Clature - Vlad Books-Vlad's Dot Grid Journal

Vlad's Dot Grid Journal

Nomen Clature - Vlad Books

I. R. Vlad-Lampion Helps Turnip the Scarecrow Go to the Loo

Lampion Helps Turnip the Scarecrow Go to the Loo

I. R. Vlad

Vlad Stanomir-Unendliche Weiten

Unendliche Weiten

Vlad Stanomir

Vlad Petre Glăveanu-Creativity -- a New Vocabulary

Creativity -- a New Vocabulary

Vlad Petre Glăveanu

Catalina Vlad-Binele Invinge

Binele Invinge

Catalina Vlad

Vlad Rusu-Rewriting Logic and Its Applications

Rewriting Logic and Its Applications

Vlad Rusu

Vlad Popovici-Parliamentary Elections in Eastern Hungary and Transylvania (1865-1918)

Parliamentary Elections in Eastern Hungary and Transylvania (1865-1918)

Vlad Popovici

Vlad Petre Glăveanu-The Palgrave Handbook of Creativity and Culture Research

The Palgrave Handbook of Creativity and Culture Research

Vlad Petre Glăveanu

Simona Vlad-International Conference on Advancements of Medicine and Health Care through Technology; 12th - 15th October 2016, Cluj-Napoca, Romania

International Conference on Advancements of Medicine and Health Care through Technology; 12th - 15th October 2016, Cluj-Napoca, Romania

Simona Vlad

Zory Vlad Vlad Todres-Organic Chemistry in Confining Media

Organic Chemistry in Confining Media

Zory Vlad Vlad Todres

Simona Vlad-International Conference on Advancements of Medicine and Health Care through Technology; 5th – 7th June 2014, Cluj-Napoca, Romania

International Conference on Advancements of Medicine and Health Care through Technology; 5th – 7th June 2014, Cluj-Napoca, Romania

Simona Vlad

Vlad Moldovan-Dispars

Dispars

Vlad Moldovan

Vlad Zbârciog-Loc sub soare

Loc sub soare

Vlad Zbârciog

Vlad Evanoff-2002 Fishing Tips and Tricks

2002 Fishing Tips and Tricks

Vlad Evanoff

Vlad Mezrich-Vampire is Just Not That Into You

Vampire is Just Not That Into You

Vlad Mezrich

Vlad Constantinesco-Droit constitutionnel

Droit constitutionnel

Vlad Constantinesco

Laurențiu Vlad-Imagini ale identității naționale

Imagini ale identității naționale

Laurențiu Vlad

Vlad Pashov-Neobiknovenii︠a︡t zhivot na uchiteli︠a︡ Petŭr Dŭnov

Neobiknovenii︠a︡t zhivot na uchiteli︠a︡ Petŭr Dŭnov

Vlad Pashov

Похожие книги

Scott Breckinridge-Cia and the U. S. Intelligence System

Cia and the U. S. Intelligence System

Scott Breckinridge

Dale Brown-Price of Duty

Price of Duty

Dale Brown

Henry Krisch-German Democratic Republic

German Democratic Republic

Henry Krisch

Solange Ashby-Calling Out to Isis

Calling Out to Isis

Solange Ashby

A. P. Sakis Meliopoulis-Power System Grounding and Transients

Power System Grounding and Transients

A. P. Sakis Meliopoulis

C. P. Khare-Evidence-Based Ayurveda

Evidence-Based Ayurveda

C. P. Khare

F. J. L. Somers-European Competition

European Competition

F. J. L. Somers

Valerij G. Kiselev-Microstructure with Magnetic Resonance

Microstructure with Magnetic Resonance

Valerij G. Kiselev

Paasha Mahdavi-Power Grab

Power Grab

Paasha Mahdavi

Herbert S. Strean-Resolving Counterresistances in Psychotherapy

Resolving Counterresistances in Psychotherapy

Herbert S. Strean

David House-Seamanship Examiner

Seamanship Examiner

David House

Arthur van Essen-Language Teaching and Language Technology

Language Teaching and Language Technology

Arthur van Essen

Lisa Fridsma-Adobe after Effects CC Classroom in a Book (2017 Release)

Adobe after Effects CC Classroom in a Book (2017 Release)

Lisa Fridsma

Simon Bacon-Gothic

Gothic

Simon Bacon

Peter Gries-Chinese Politics

Chinese Politics

Peter Gries

Stephen Mulhall-On Film

On Film

Stephen Mulhall

Fionna Ulla-Aspirations with Limitations

Aspirations with Limitations

Fionna Ulla

Schmidt, William H.-Schooling Across the Globe

Schooling Across the Globe

Schmidt, William H.

Simon Stephens-Rage

Rage

Simon Stephens

John Lyden-Routledge Companion to Religion and Film

Routledge Companion to Religion and Film

John Lyden

Esra Özcan-Mainstreaming the Headscarf

Mainstreaming the Headscarf

Esra Özcan

Rebecca Roanhorse-Star Wars

Star Wars

Rebecca Roanhorse

Keith Jackson-New Zealand Adopts Proportional Representation

New Zealand Adopts Proportional Representation

Keith Jackson

John Erickson-Soviet Ground Forces

Soviet Ground Forces

John Erickson

Laurie Westphal-Differentiating Instruction with Menus

Differentiating Instruction with Menus

Laurie Westphal

M. H. Dunlop-Sixty Miles from Contentment

Sixty Miles from Contentment

M. H. Dunlop

Pedro De Bruyckere-More Urban Myths about Learning and Education

More Urban Myths about Learning and Education

Pedro De Bruyckere

David E. Lewis-Addition, Elimination and Substitution : Markovnikov, Hofmann, Zaitsev and Walden

Addition, Elimination and Substitution : Markovnikov, Hofmann, Zaitsev and Walden

David E. Lewis

Sangam MacDuff-Panepiphanal World

Panepiphanal World

Sangam MacDuff

Jane Jackson-Routledge Handbook of Language and Intercultural Communication

Routledge Handbook of Language and Intercultural Communication

Jane Jackson

Thomas Middleton-Critical Edition of Thomas Middleton's the Witch

Critical Edition of Thomas Middleton's the Witch

Thomas Middleton

Jess Walter-Cold Millions

Cold Millions

Jess Walter

Behlül Üsdiken-History in Management and Organization Studies

History in Management and Organization Studies

Behlül Üsdiken

Gregory M. Collins-Commerce and Manners in Edmund Burke's Political Economy

Commerce and Manners in Edmund Burke's Political Economy

Gregory M. Collins

Jann-Thorge Thöming-Bahnhofsmission Buechen

Bahnhofsmission Buechen

Jann-Thorge Thöming

Mary Carton-Air Fryer Toaster Oven Cookbook

Air Fryer Toaster Oven Cookbook

Mary Carton

Chris Penhall-House That Alice Built

House That Alice Built

Chris Penhall

Philippe Droz-Vincent-Military Politics of the Contemporary Arab World

Military Politics of the Contemporary Arab World

Philippe Droz-Vincent

Llewellyn Ellardus Van Zyl-Theoretical Approaches to Multi-Cultural Positive Psychological Interventions

Theoretical Approaches to Multi-Cultural Positive Psychological Interventions

Llewellyn Ellardus Van Zyl

Andrea Ross-Unnatural Selection

Unnatural Selection

Andrea Ross

Mohammed Sofiane Mesbahi-Heralding Article 25 : A People's Strategy for World Transformation

Heralding Article 25 : A People's Strategy for World Transformation

Mohammed Sofiane Mesbahi

Diane Gaston-Her Gallant Captain at Waterloo

Her Gallant Captain at Waterloo

Diane Gaston

John Tayman-Wanted

Wanted

John Tayman

Stanley Maloy-Lure of Bacterial Genetics

Lure of Bacterial Genetics

Stanley Maloy

Arnoud Arntz-Schema Therapy for Borderline Personality Disorder

Schema Therapy for Borderline Personality Disorder

Arnoud Arntz

Shaker A. Mousa-Road from Nanomedicine to Precision Medicine

Road from Nanomedicine to Precision Medicine

Shaker A. Mousa

Miya Kazuki-Ascendance of a Bookworm (Manga) Part 1 Volume 5

Ascendance of a Bookworm (Manga) Part 1 Volume 5

Miya Kazuki

Brian Freeman-Robert Ludlum's(tm) the Bourne Treachery

Robert Ludlum's(tm) the Bourne Treachery

Brian Freeman

Jeffrey Hoorfar-Rapid Detection, Characterization, and Enumeration of Foodborne Pathogens

Rapid Detection, Characterization, and Enumeration of Foodborne Pathogens

Jeffrey Hoorfar

Wei Wu-Developing BIM Talent

Developing BIM Talent

Wei Wu

Utkarsh Acharya-Oncology Rapid Review Flash Cards

Oncology Rapid Review Flash Cards

Utkarsh Acharya

Lisa Pritchard-Setting up a Successful Photography Business

Setting up a Successful Photography Business

Lisa Pritchard

Neil Perkin-Building the Agile Business Through Digital Transformation

Building the Agile Business Through Digital Transformation

Neil Perkin

Trevor A. Harley-Science of Consciousness

Science of Consciousness

Trevor A. Harley

Tor Lattimore-Bandit Algorithms

Bandit Algorithms

Tor Lattimore

Christina Latham-Koenig-American English File Level 4 Student Book/Workbook Multi-Pack a with Online Practice

American English File Level 4 Student Book/Workbook Multi-Pack a with Online Practice

Christina Latham-Koenig

Emi-Lou May-Doctorsaurus

Doctorsaurus

Emi-Lou May

Bhat SASTRY-REVIEW of MICROBIOLOGY and IMMUNOLOGY

REVIEW of MICROBIOLOGY and IMMUNOLOGY

Bhat SASTRY

Ju H. Park-Dynamic Systems with Time Delays

Dynamic Systems with Time Delays

Ju H. Park

Santiago Muñoz-Exam Ref AZ-203 Developing Solutions for Microsoft Azure

Exam Ref AZ-203 Developing Solutions for Microsoft Azure

Santiago Muñoz