3516 search results - page 167 / 704 » Programming Languages: Application and Interpretation |
140
click to vote
ICFP
2006
ACM
16 years 5 months ago
2006
ACM
Generic Haskell is a language extension of Haskell for polytypic programming. Constrained types are parametric algebraic types with at least one argument constrained by type-class...
151
click to vote
ICFEM
2009
Springer
15 years 11 months ago
2009
Springer
Internet protocols encapsulate a significant amount of state, making implementing the host software complex. In this paper, we define the Statecall Policy Language (SPL) which pr...
136
click to vote
IJCAI
1993
15 years 6 months ago
1993
A student model description language and its synthesis method are presented. The language called SMDL is based on a logic programming language taking 4 truth values such as true, ...
128
click to vote
IUI
2000
ACM
15 years 9 months ago
2000
ACM
This article is about applications that can be customized or extended through their own user interface. This is achieved by the interface’s ability to interpret users’ non-lit...
142
click to vote
POPL
2010
ACM
16 years 2 months ago
2010
ACM
Many large software systems originate from untyped scripting language code. While good for initial development, the lack of static type annotations can impact code-quality and per...