1686 search results - page 112 / 338 » Higher Order Deforestation |
125
click to vote
ACE
2004
15 years 5 months ago
2004
Many governments are emphasizing the need to improve ICT skills, research and innovations, often making special reference to the role of higher education. At the 2003 conference o...
148
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
This paper presents a method to find new De Bruijn cycles based on ones of lesser order. This is done by mapping a De Bruijn cycle to several vertex disjoint cycles in a De Bruijn ...
151
click to vote
TPHOL
2008
IEEE
15 years 10 months ago
2008
IEEE
The HOL4 proof assistant supports specification and proof in classical higher order logic. It is the latest in a long line of similar systems. In this short overview, we give an o...
118
click to vote
TPHOL
2007
IEEE
15 years 10 months ago
2007
IEEE
Terminator is a static analysis tool developed by Microsoft Research for proving termination of Windows device drivers written in C. This proof pearl describes a formalization in h...
131
Voted
IFL
2007
Springer
15 years 10 months ago
2007
Springer
Haskell is a functional language, with features such as higher order functions and lazy evaluation, which allow succinct programs. These high-level features present many challenges...