Year of publication
Type of material
Licence
TIB reading rooms collection
Synonyms were used for: Functional programming
Search without synonyms: keywords:("Functional programming")
Used synonyms:
- funktionale programmierung
-
Set Constraints, Pattern Match Analysis, and SMT
TIBKAT | 2020|Keywords: Funktionale Programmierung -
Verifying Selective CPS Transformation for Shift and Reset
TIBKAT | 2020|Keywords: Funktionale Programmierung -
How to Specify It! A Guide to Writing Properties of Pure Functions
TIBKAT | 2020|Keywords: Funktionale Programmierung -
Early Experience in Teaching the Basics of Functional Language Design with a Language Type Checker
TIBKAT | 2020|Keywords: Funktionale Programmierung -
Trends in functional programming : 20th international symposium, TFP 2019, Vancouver, BC, Canada, June 12-14, 2019 : revised selected papers
TIBKAT | 2020|Keywords: Funktionale Programmierung -
Trends in functional programming : 19th international symposium, TFP 2018, Gothenburg, Sweden, June 11-13, 2018 : revised selected papers
TIBKAT | 2019|Keywords: Funktionale Programmierung -
Trends in functional programming : 17th international conference, TFP 2016, College Park, MD, USA, June 8-10, 2016 : revised selected papers
TIBKAT | 2019|Keywords: Funktionale Programmierung -
Trends in functional programming : 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017 : revised selected papers
TIBKAT | 2018|Keywords: Funktionale Programmierung -
Type Inference for Rank 2 Gradual Intersection Types
TIBKAT | 2020|Keywords: Funktionale Programmierung -
Functional programming, simplified : a simple step-by-step approach to learning functional programming
TIBKAT | 2017|Keywords: Funktionale Programmierung -
ICFP'14 : proceedings of the 2014 ACM SIGPLAN International Conference on Functional Programming : September 1-3, 2014, Gothenburg, Sweden
TIBKAT | 2014|Keywords: Funktionale Programmierung -
ICFP'13 : proceedings of the 2013 ACM SIGPLAN International Conference on Functional Programming : September 25-27, 2013, Boston, Massachusetts, USA
TIBKAT | 2013|Keywords: Funktionale Programmierung -
Trends in functional programming : 14th international symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013 ; revised selected papers
TIBKAT | 2014|Keywords: Funktionale Programmierung -
A Lazy Desugaring System for Evaluating Programs with Sugars
TIBKAT | 2022|Keywords: Funktionale Programmierung -
Free theorems in languages with real-world programming features
TIBKAT | 2013|Keywords: Funktionale Programmierung -
Proceedings of the 2012 ACM SIGPLAN International Conference on Functional Programming : September 9 - 15, 2012, Copenhagen, Denmark
TIBKAT | 2012|Keywords: Funktionale Programmierung -
Trends in functional programming : 13th international symposium ; revised selected papers
TIBKAT | 2013|Keywords: Funktionale Programmierung -
Grokking simplicity : taming complex software with functional thinking
TIBKAT | 2021|Keywords: Funktionale Programmierung
Send my search to (beta)
Send your search query (search terms without filters) to other databases, portals and catalogues to find more interesting hits.
Dimensions is a database for abstracts and citations that links information on research funding with the resulting publications, studies and patents.
In the TIB AV-Portal, audiovisual media from science and teaching can be foundand own scientific videos can be published.
The FID move can be used to search for subject-specific literature, research data and other information from mobility and transport research.
The Open Research Knowledge Graph provides structured descriptions of research content and makes it comparable.
Freely accessible part of the collaborative K10plus catalogue with materials relevant for interlibrary loan and direct delivery services.