1
Baskı/Yayın Bilgisi 2013
İçindekiler: ...Various aspects of trends in functional programming -- Combining deep and shallow embedding...
Tam Metin Erişim
Elektronik Ekitap
2
Baskı/Yayın Bilgisi 2014
Konular: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Tam Metin Erişim
Elektronik Ekitap
3
Baskı/Yayın Bilgisi 2005
İçindekiler: ... Prototyping of Type Safe Interactive Applications -- A Functional Shell That Operates on Typed and Compiled...
Tam Metin Erişim
Elektronik Ekitap
4
Baskı/Yayın Bilgisi 2015
İçindekiler: ... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...
Tam Metin Erişim
Elektronik Ekitap
5
Baskı/Yayın Bilgisi 2012
Konular: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Tam Metin Erişim
Elektronik Ekitap
6
Baskı/Yayın Bilgisi 2008
İçindekiler: ...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...
Tam Metin Erişim
Elektronik Ekitap
7
Baskı/Yayın Bilgisi 2006
İçindekiler: ... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...
Tam Metin Erişim
Elektronik Ekitap
8
Baskı/Yayın Bilgisi 2011
Konular: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Tam Metin Erişim
Elektronik Ekitap
9
Baskı/Yayın Bilgisi 2010
İçindekiler: ...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...
Tam Metin Erişim
Elektronik Ekitap
10
Baskı/Yayın Bilgisi 2014
Konular: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Tam Metin Erişim
Elektronik Ekitap
11
Baskı/Yayın Bilgisi 2012
Konular: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Tam Metin Erişim
Elektronik Ekitap
12
Baskı/Yayın Bilgisi 2010
İçindekiler: ... Programming -- A Simple Region Inference Algorithm for a First-Order Functional Language -- A Theoretical...
Tam Metin Erişim
Elektronik Ekitap
13
Baskı/Yayın Bilgisi 2011
Konular: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Tam Metin Erişim
Elektronik Ekitap
14
Baskı/Yayın Bilgisi 2011
Konular: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Tam Metin Erişim
Elektronik Ekitap
15
Baskı/Yayın Bilgisi 2012
Konular: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Tam Metin Erişim
Elektronik Ekitap
16
Yazar: Horváth, Zoltán., Horváth, Zoltán.
Baskı/Yayın Bilgisi 2006
İçindekiler: ... -- Functional Array Programming in SaC -- Exploiting Purely Functional Programming to Obtain Bounded Resource...
Tam Metin Erişim
Elektronik Ekitap
17
Baskı/Yayın Bilgisi 2015
İçindekiler: ...Functional Programming for Domain-Specific Languages -- DSL in C++ Template Metaprogram...
Tam Metin Erişim
Elektronik Ekitap
18
Baskı/Yayın Bilgisi 2013
İçindekiler: ... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...
Tam Metin Erişim
Elektronik Ekitap
19
Baskı/Yayın Bilgisi 2005
İçindekiler: ...-Oriented Languages -- A Functional Shell That Dynamically Combines Compiled Code -- Polymorphic Type...
Tam Metin Erişim
Elektronik Ekitap
20
Yazar: Addis, Tom., Addis, Tom., Addis, Jan.
Baskı/Yayın Bilgisi 2010
İçindekiler: ...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...
Tam Metin Erişim
Elektronik Ekitap