1179 search results - page 111 / 236 » Programming in Hybrid Constraint Languages |
107
click to vote
PPSN
1994
Springer
15 years 5 months ago
1994
Springer
The Reproductive Plan Language 2 (RPL2) is an extensible interpreted language for writing and using evolutionary computing programs. It supports arbitrary genetic representations,...
195
click to vote
POPL
2001
ACM
16 years 1 months ago
2001
ACM
We present a type system for a language based on F, which allows certain type annotations to be elided in actual programs. Local type inference determines types by a combination o...
101
click to vote
CADE
1999
Springer
15 years 5 months ago
1999
Springer
Abstract. Twelf is a meta-logical framework for the specification, implementation, and meta-theory of deductive systems from the theory of programming languages and logics. It rel...
108
click to vote
FLOPS
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Binding-time polymorphism enables a highly flexible bindingtime analysis for offline partial evaluation. This work provides the tools to translate this flexibility into...
104
click to vote
ICFP
1997
ACM
15 years 5 months ago
1997
ACM
We present a type system for the programming language Erlang. The type system supports subtyping and declarationfree recursive types, using subtyping constraints. Our system is si...