3001 search results - page 99 / 601 » Recursive type generativity |
114
click to vote
FPGA
2003
ACM
15 years 7 months ago
2003
ACM
The routing channels of an FPGA consist of wire segments of various types providing the tradeoff between performance and routability. In the routing architectures of recently dev...
106
click to vote
WCRE
2000
IEEE
15 years 7 months ago
2000
IEEE
We show how hypertext-based program understanding tools eve new levels of abstraction by using inferred type information for cases where the subject software system is written in ...
147
Voted
ENTCS
2007
15 years 2 months ago
2007
We present two enhancements of the functional language L which is used in the eriFun system to write programs and formulate statements about them. Context dependent procedures all...
85
Voted
PLDI
2009
ACM
15 years 9 months ago
2009
ACM
Self-representation – the ability to represent programs in their own language – has important applications in reflective languages and many other domains of programming langu...
140
Voted
CSL
2005
Springer
15 years 8 months ago
2005
Springer
Since Val Tannen's pioneering work on the combination of simply-typed λ-calculus and rst-order rewriting [11], many authors have contributed to this subject by extending it ...