Rezultati - programming techniques https functions function https

1

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

Izdano 2013

Kazalo: “...Various aspects of trends in functional programming -- Combining deep and shallow embedding...”
Polni tekst

Elektronski eKnjiga

2

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

Izdano 2014

Teme: “...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
Polni tekst

Elektronski eKnjiga

3

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

Izdano 2005

Kazalo: “... Functional Programs....”
Polni tekst

Elektronski eKnjiga

4

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

Izdano 2015

Kazalo: “... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...”
Polni tekst

Elektronski eKnjiga

5

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

Izdano 2012

Teme: “...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
Polni tekst

Elektronski eKnjiga

6

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

Izdano 2008

Kazalo: “... for Program Analysis -- Refereed Papers -- Integrating Answer Set Reasoning with Constraint Solving Techniques...”
Polni tekst

Elektronski eKnjiga

7

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

Izdano 2006

Kazalo: “... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”
Polni tekst

Elektronski eKnjiga

8

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

Izdano 2011

Teme: “...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
Polni tekst

Elektronski eKnjiga

9

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

Izdano 2010

Kazalo: “...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”
Polni tekst

Elektronski eKnjiga

10

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

Izdano 2014

Teme: “...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
Polni tekst

Elektronski eKnjiga

11

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

Izdano 2012

Teme: “...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
Polni tekst

Elektronski eKnjiga

12

The Beauty of Functional Code Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday /

Izdano 2013

Kazalo: “... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...”
Polni tekst

Elektronski eKnjiga

13

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

Izdano 2005

Kazalo: “... -- Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs -- Dynamic Chunking...”
Polni tekst

Elektronski eKnjiga

14

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

Izdano 2012

Teme: “...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
Polni tekst

Elektronski eKnjiga

15

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

od Horváth, Zoltán., Horváth, Zoltán.
Izdano 2006

Kazalo: “... -- Functional Array Programming in SaC -- Exploiting Purely Functional Programming to Obtain Bounded Resource...”
Polni tekst

Elektronski eKnjiga

16

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

Izdano 2015

Kazalo: “...Functional Programming for Domain-Specific Languages -- DSL in C++ Template Metaprogram...”
Polni tekst

Elektronski eKnjiga

17

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

Izdano 2007

Kazalo: “... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...”
Polni tekst

Elektronski eKnjiga

18

Implementation and Application of Functional Languages 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers /

Izdano 2006

Kazalo: “...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...”
Polni tekst

Elektronski eKnjiga

19

Implementation and Application of Functional Languages 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers /

Izdano 2005

Kazalo: “... Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction...”
Polni tekst

Elektronski eKnjiga

20

Drawing Programs: The Theory and Practice of Schematic Functional Programming

od Addis, Tom., Addis, Tom., Addis, Jan.
Izdano 2010

Kazalo: “...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...”
Polni tekst

Elektronski eKnjiga

Zoži iskanje