Sciweavers

633 search results - page 1 / 127
» A Few Constructions on Constructors
Sort
View
TYPES
2004
Springer
13 years 9 months ago
A Few Constructions on Constructors
We present four constructions for standard equipment which can be generated for every inductive datatype: case analysis, structural recursion, no confusion, acyclicity. Our constru...
Conor McBride, Healfdene Goguen, James McKinna
SYRCODIS
2008
120views Database» more  SYRCODIS 2008»
13 years 5 months ago
Efficient Implementation of XQuery Constructor Expressions
Element constructor is one of most expensive operations of the XQuery language as it requires deep copy of the nodes which make up the content of the constructed element. In this ...
Leonid Novak, Maxim Grinev, Ilya Taranov
MLQ
2002
100views more  MLQ 2002»
13 years 3 months ago
Extensionality Versus Constructivity
We will analyze some extensions of Martin-L
Silvio Valentini
ICAIL
2003
ACM
13 years 9 months ago
Developing Legal Knowledge Based Systems Through Theory Construction
Bench-Capon and Sartor have proposed that reasoning with legal cases be seen as a process of theory construction, evaluation and application. They have proposed a set of theory co...
Alison Chorley, Trevor J. M. Bench-Capon
POPL
2003
ACM
14 years 4 months ago
Guarded recursive datatype constructors
We introduce a notion of guarded recursive (g.r.) datatype constructors, generalizing the notion of recursive datatypes in functional programming languages such as ML and Haskell....
Hongwei Xi, Chiyan Chen, Gang Chen