… in functional programming and propose two solutions based on feature orientation. … decomposition supported by mainstream programming languages. In the past …. Feature orientation is a novel programming paradigm that supports the (de …
In Proceedings of the 8th International Conference on Software Composition (SC). 2009: [doi]… . Proposals for language extensions that add contracts to higher-order functional programming have appeared recently. In this paper we propose an embedded domain …
FLOPS 2006: 208-225 [doi]… and communicating program construction expertise for functional programming, just … in crafting their own generic programs using functional strategies. To this end, we … introduced the fundamentals and a supporting combinator library for functional …
RULE 2002: 1-14 [doi]… Type-based reasoning is popular in functional programming. In particular …. Is the same possible in a strongly, and polymorphically, typed functional logic language … arguments appropriate to functional logic languages. …
plpv 2010: 39-48 [doi]… . Epigram is a high level notation for dependently typed functional programming …Types express a program’s meaning, and checking types ensures that a program has the intended meaning. In a dependently typed programming language types …
PhD thesis, University of Durham, 2005.… Type-based reasoning is popular in functional programming. In particular … possible in a strongly, and polymorphically, typed functional logic language … appropriate to functional logic languages. …
SIGPLAN, 44(11):7, 2009. [doi]… For many years I had been fruitlessly trying to sell functional programming … is a real pity. Functional programming concepts are key to curing many … programming languages with functional programming features. As a result, functional …
OOPSLA 2007: 677-694 [doi]