Search Results - program computing https functionals one https

1

by Quarteroni, Alfio., Quarteroni, Alfio., Sacco, Riccardo., Saleri, Fausto.
Published 2007

Table of Contents: “...Series Preface -- Preface -- I Getting Started -- 1. Foundations of Matrix Analysis -- 2 Principles...”
View full text

Electronic eBook

2

Logic and Theory of Algorithms 4th Conference on Computability in Europe, CiE 2008 Athens, Greece, June 15-20, 2008, Proceedings /

Published 2008

Table of Contents: “...Deterministic Graphical Games Revisited -- Program Schemes with Deep Pushdown Storage -- Herbrand...”
View full text

Electronic eBook

3

Central European Functional Programming School Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures /

Published 2008

Table of Contents: “... of Lazy Functional Programs with Sparkle -- An Introduction to the Lambda Calculus -- Abstract ?-Calculus...”
View full text

Electronic eBook

4

Central European Functional Programming School First Central European Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures /

by Horváth, Zoltán., Horváth, Zoltán.
Published 2006

Table of Contents: “... -- Functional Array Programming in SaC -- Exploiting Purely Functional Programming to Obtain Bounded Resource...”
View full text

Electronic eBook

5

Journal of functional programming

Subjects: “...Functional programming (Computer science) Periodicals....”
Full text available from Advanced Technologies & Aerospace Database: 01/01/2001 to 1 year ago
Full text available from Computer Science Database: 01/01/2001 to 1 year ago

Electronic Journal

6

Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings /

Published 2014

Subjects: “...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
View full text

Electronic eBook

7

Functional and Logic Programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012, Proceedings /

Published 2012

Subjects: “...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
View full text

Electronic eBook

8

Programming Languages and Operational Semantics A Concise Overview /

by Fernández, Maribel., Fernández, Maribel.
Published 2014

Table of Contents: “... of Functional Languages -- General Features of Logic Programming Languages -- Operational Semantics of Prolog...”
View full text

Electronic eBook

9

Advanced Functional Programming 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures /

Published 2005

Table of Contents: “... Functional Programs....”
View full text

Electronic eBook

10

Implementation of Functional Languages 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers /

Published 2005

Table of Contents: “... -- Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs -- Dynamic Chunking...”
View full text

Electronic eBook

11

Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings /

Published 2006

Table of Contents: “... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”
View full text

Electronic eBook

12

Implementation and Application of Functional Languages 18th International Symposium, IFL 2006...

Published 2007

Table of Contents: “... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...”
View full text

Electronic eBook

13

Functional and Constraint Logic Programming 20th International Workshop, WFLP 2011, Odense, Denmark, July 19, 2011, Proceedings /

Published 2011

Subjects: “...Programming languages (Electronic computers)....”
View full text

Electronic eBook

14

Central European Functional Programming School 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers /

Published 2015

Table of Contents: “...Functional Programming for Domain-Specific Languages -- DSL in C++ Template Metaprogram...”
View full text

Electronic eBook

15

An Introduction to Python and Computer Programming

by Zhang, Yue., Zhang, Yue.
Published 2015

Table of Contents: “...An introduction to Python and computer programming -- Using Python as a Calculator -- The First...”
View full text

Electronic eBook

16

Drawing Programs: The Theory and Practice of Schematic Functional Programming

by Addis, Tom., Addis, Tom., Addis, Jan.
Published 2010

Table of Contents: “...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...”
View full text

Electronic eBook

17

Trends in Functional Programming 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers /

Published 2011

Subjects: “...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
View full text

Electronic eBook

18

Trends in Functional Programming 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers /

Published 2014

Subjects: “...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
View full text

Electronic eBook

19

Central European Functional Programming School Third Summer School, CEFP 2009, Budapest, Hungary...

Published 2010

Subjects: “...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
View full text

Electronic eBook

20

Implementation and Application of Functional Languages 19th International Workshop, IFL 2007...

Published 2008

Table of Contents: “... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”
View full text

Electronic eBook

Narrow Search