10575 search results - page 297 / 2115 » T2Script Programming Language |
169
Voted
PPDP
2009
Springer
16 years 1 months ago
2009
Springer
We propose a novel approach to encapsulate non-deterministic computations in functional logic programs. Our approach is based on set functions that return the set of all the resul...
140
Voted
BIRTHDAY
2004
Springer
15 years 12 months ago
2004
Springer
The development of the programming languages Simula I and Simula 67 is briefly described. An attempt is made also to explain the cultural impact of the languages, in particular t...
257
click to vote
POPL
2006
ACM
16 years 6 months ago
2006
ACM
This article presents a polymorphic modal type system and its principal type inference algorithm that conservatively extend ML by all of Lisp's staging constructs (the quasi-...
115
Voted
ICMT
2009
Springer
16 years 1 months ago
2009
Springer