Resultats de la cerca - program function https functioning general https*

1

Functions and Generality of Logic Reflections on Dedekind's and Frege's Logicisms /

per Benis-Sinaceur, Hourya., Benis-Sinaceur, Hourya., Panza, Marco., Sandu, Gabriel.
Publicat 2015

Taula de continguts: “...Chapter 1: Is Dedekind a logicist?; Hourya Benis Sinaceur -- Chapter 2: Functions and Expressions...”
Obtenir text complet

Electrònic eBook

2

Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings /

Publicat 2010

Taula de continguts: “...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”
Obtenir text complet

Electrònic eBook

3

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

Publicat 2014

Matèries: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
Obtenir text complet

Electrònic eBook

4

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

Publicat 2012

Matèries: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
Obtenir text complet

Electrònic eBook

5

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

Publicat 2005

Taula de continguts: “... Functional Programs....”
Obtenir text complet

Electrònic eBook

6

Trends in Functional Programming 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers /

Publicat 2015

Taula de continguts: “... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...”
Obtenir text complet

Electrònic eBook

7

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

Publicat 2011

Matèries: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Obtenir text complet

Electrònic eBook

8

Trends in Functional Programming 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers /

Publicat 2012

Matèries: “...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
Obtenir text complet

Electrònic eBook

9

Trends in Functional Programming 13th International Symposium, TFP 2012, St Andrews, UK, June 12-14, 2012, Revised Selected Papers /

Publicat 2013

Taula de continguts: “...Various aspects of trends in functional programming -- Combining deep and shallow embedding...”
Obtenir text complet

Electrònic eBook

10

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

Publicat 2014

Matèries: “...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
Obtenir text complet

Electrònic eBook

11

Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings /

Publicat 2008

Taula de continguts: “...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”
Obtenir text complet

Electrònic eBook

12

Functional and Constraint Logic Programming 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers /

Publicat 2010

Taula de continguts: “... Programming -- A Simple Region Inference Algorithm for a First-Order Functional Language -- A Theoretical...”
Obtenir text complet

Electrònic eBook

13

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

Publicat 2011

Matèries: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
Obtenir text complet

Electrònic eBook

14

Functional and Constraint Logic Programming 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers /

Publicat 2011

Matèries: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
Obtenir text complet

Electrònic eBook

15

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

Publicat 2005

Taula de continguts: “... -- Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs -- Dynamic Chunking...”
Obtenir text complet

Electrònic eBook

16

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

Publicat 2010

Matèries: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Obtenir text complet

Electrònic eBook

17

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

Publicat 2008

Taula de continguts: “... of Lazy Functional Programs with Sparkle -- An Introduction to the Lambda Calculus -- Abstract ?-Calculus...”
Obtenir text complet

Electrònic eBook

18

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

Publicat 2015

Taula de continguts: “...Functional Programming for Domain-Specific Languages -- DSL in C++ Template Metaprogram...”
Obtenir text complet

Electrònic eBook

19

Central European Functional Programming School 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers /

Publicat 2012

Matèries: “...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
Obtenir text complet

Electrònic eBook

20

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

per Horváth, Zoltán., Horváth, Zoltán.
Publicat 2006

Taula de continguts: “... -- Functional Array Programming in SaC -- Exploiting Purely Functional Programming to Obtain Bounded Resource...”
Obtenir text complet

Electrònic eBook

Refinar cerca