251 search results - page 26 / 51 » Pure Type Systems without Explicit Contexts |
148
Voted
GECCO
2010
Springer
15 years 4 months ago
2010
Springer
Evolving multiple robots so that each robot acting independently can contribute to the maximization of a system level objective presents significant scientific challenges. For e...
178
Voted
CIKM
2009
Springer
15 years 7 months ago
2009
Springer
Traditional desktop search engines only support keyword based search that needs exact keyword matching to find resources. However, users generally have a vague picture of what is...
137
Voted
ICFP
2003
ACM
16 years 2 months ago
2003
ACM
FreshML extends ML with elegant and practical constructs for declaring and manipulating syntactical data involving statically scoped binding operations. User-declared FreshML data...
134
Voted
HASKELL
2008
ACM
15 years 3 months ago
2008
ACM
We present Haskell libraries that statically ensure the safe use of resources such as file handles. We statically prevent accessing an already closed handle or forgetting to clos...
127
Voted
IUI
1993
ACM
15 years 6 months ago
1993
ACM
incompatibility. We introduce Mona, an operational email system embodying this automatic approach. Mona establishes conversation context independently of user actions through the ...