3824 search results - page 311 / 765 » Geometry Constructions Language |
217
click to vote
ICFP
2008
ACM
16 years 6 months ago
2008
ACM
ML modules provide hierarchical namespace management, as well as fine-grained control over the propagation of type information, but they do not allow modules to be broken up into ...
167
click to vote
ICFP
2006
ACM
16 years 6 months ago
2006
ACM
The development of design patterns in object-oriented programming aims at capturing good software design in a re-usable generic form. However, design patterns are not expressible ...
217
click to vote
PLPV
2010
ACM
16 years 3 months ago
2010
ACM
Singleton types are often considered a poor man’s substitute for dependent types. But their generalization in the form of GADTs has found quite a following. The main advantage o...
192
Voted
OOPSLA
2009
Springer
16 years 1 months ago
2009
Springer
Bruce and Foster proposed the language LOOJ, an extension of Java with the notion of MyType, which represents the type of a self reference and changes its meaning along with inher...
228
click to vote
PLPV
2012
ACM
14 years 2 months ago
2012
ACM
Functional Reactive Programming (FRP) is a form of reactive programming whose model is pure functions over signals. FRP is often expressed in terms of arrows with loops, which is ...