Transforming Functional Logic Programs into Monadic Functional Programs (English)
- New search for: Braßel, Bernd
- New search for: Fischer, Sebastian
- New search for: Hanus, Michael
- New search for: Reck, Fabian
- New search for: Braßel, Bernd
- New search for: Fischer, Sebastian
- New search for: Hanus, Michael
- New search for: Reck, Fabian
In:
Functional and Constraint Logic Programming
2
;
30-47
;
2011
- Article/Chapter (Book) / Electronic Resource
-
Title:Transforming Functional Logic Programs into Monadic Functional Programs
-
Contributors:Braßel, Bernd ( author ) / Fischer, Sebastian ( author ) / Hanus, Michael ( author ) / Reck, Fabian ( author )
-
Published in:Functional and Constraint Logic Programming , 2 ; 30-47Lecture Notes in Computer Science ; 6559, 2 ; 30-47
-
Publisher:
- New search for: Springer Berlin Heidelberg
-
Place of publication:Berlin, Heidelberg
-
Publication date:2011-01-01
-
Size:18 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents eBook
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Types for Role-Based Access Control of Dynamic Web DataDezani-Ciancaglini, Mariangiola / Ghilezan, Silvia / Jakšić, Svetlana / Pantović, Jovanka et al. | 2011
- 30
-
Transforming Functional Logic Programs into Monadic Functional ProgramsBraßel, Bernd / Fischer, Sebastian / Hanus, Michael / Reck, Fabian et al. | 2011
- 48
-
Mixed-Level Embedding and JIT Compilation for an Iteratively Staged DSLGiorgidze, George / Nilsson, Henrik et al. | 2011
- 66
-
An Access Control Language Based on Term Rewriting and Description LogicBaggi, Michele / Ballis, Demis / Falaschi, Moreno et al. | 2011
- 84
-
Lazy and Enforceable Assertions for Functional Logic ProgramsHanus, Michael et al. | 2011
- 101
-
Parameterized Models for On-Line and Off-Line UseWuille, Pieter / Schrijvers, Tom et al. | 2011
- 119
-
An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurryChristiansen, Jan / Seidel, Daniel / Voigtländer, Janis et al. | 2011
- 137
-
Efficient and Compositional Higher-Order StreamsPatai, Gergely et al. | 2011
- 155
-
Bridging the Gap between Two Concurrent Constraint LanguagesLescaylle, Alexei / Villanueva, Alicia et al. | 2011