6054 search results - page 249 / 1211 » Implementation of Andorra-based Languages |
194
click to vote
ICFP
1999
ACM
15 years 11 months ago
1999
ACM
Type dispatch constructs are an important feature of many programming languages. Scheme has predicates for testing the runtime type of a value. Java has a class cast expression an...
208
click to vote
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
Several recent security-typed programming languages, such as Aura, PCML5, and Fine, allow programmers to express and enforce access control and information flow policies. Most of ...
213
click to vote
PLDI
2012
ACM
13 years 9 months ago
2012
ACM
Generic programming (GP) is an increasingly important trend in programming languages. Well-known GP mechanisms, such as type classes and the C++0x concepts proposal, usually combi...
155
click to vote
WLP
2007
Springer
16 years 23 days ago
2007
Springer
This paper presents the Kiel Curry System (KiCS) for the lazy functional logic language Curry. Its main features beyond other Curry implementations are: flexible search control by...
180
click to vote
PLDI
2005
ACM
16 years 6 days ago
2005
ACM
This paper introduces the concept of programming with sketches, an approach for the rapid development of high-performance applications. This approach allows a programmer to write ...