6201 search results - page 282 / 1241 » Implementation of Axiomatic Language |
195
click to vote
ERLANG
2004
ACM
16 years 4 days ago
2004
ACM
Erlang is a concurrent functional language designed for developing large-scale, distributed, fault-tolerant systems. The primary implementation of the language is the Erlang/OTP s...
197
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
Voted
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 ...
215
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...
161
click to vote
WLP
2007
Springer
16 years 24 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...