Integrating runtime assertions with dynamic types: structuring a derivation from an incomputable specification

Bailes, Paul A.; Kemp, Colin

doi:10.1109/cmpsac.2003.1245389

Cited by 1 publication

(1 citation statement)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Instead, a regime of dynamic types involving the selective attachment of assertions to declarations and expressions seems unavoidable. The essentials of such a system (much as earlier proposed [13]) are:  a basic notion of datatype as the set of all applications of a distinctive constructor;  type-checking by retracting expressions into sets, thus…”

Section: Type-checkingmentioning

confidence: 99%

Recursion Patterns and Their Impact on Programming Language Design

Bailes

2013

Modelling, Identification and Control / 801: Advances in Computer Science

View full text Add to dashboard Cite

Applicative/functional programming is considerably simplified through the use of specific recursion patterns as opposed to general recursion. The viability of catamorphic recursion patterns as a pragmatic and theoretical basis makes it feasible to consider a programming language based on them. Syntactic considerations focus on notation to clarify the structures involved in the use of catamorphisms in this critical role. More fundamental semantic considerations involve the recognition that a catamorphic programming style essentially involves the treatment of data exclusively as functions and the extension of this approach to the derivation of other types of data whose behaviours are not generally catamorphic. Implementation by preprocessing into Haskell can be structured to avoid the limitations of Haskell's types, but a general regime of dynamic types seems unavoidable as an alternative. Clear connections with other work on subrecursive programming illuminates other paths for further development.

show abstract

Section: Type-checkingmentioning

confidence: 99%

Recursion Patterns and Their Impact on Programming Language Design

Bailes

2013

Modelling, Identification and Control / 801: Advances in Computer Science

View full text Add to dashboard Cite

show abstract

Integrating runtime assertions with dynamic types: structuring a derivation from an incomputable specification

Cited by 1 publication

References 6 publications

Recursion Patterns and Their Impact on Programming Language Design

Recursion Patterns and Their Impact on Programming Language Design

Contact Info

Product

Resources

About