200 search results - page 18 / 40 » The Intensional Lambda Calculus |
CEFP
2007
Springer
14 years 4 months ago
2007
Springer
TLCA
2007
Springer
14 years 4 months ago
2007
Springer
BIRTHDAY
2005
Springer
14 years 3 months ago
2005
Springer
RTA
2005
Springer
14 years 3 months ago
2005
Springer
SOCO
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. The need to use position-dependent parameters often hamdefinition of flexible, extensible, and reusable abstractions for software composition. This observation has led ...