1999 search results - page 241 / 400 » Dependently Typed Grammars |
166
click to vote
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
Every algebraic theory gives rise to a monad, and monads allow a meta-language which is a basic programming language with sideeffects. Equations in the algebraic theory give rise ...
185
click to vote
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
Program errors are a source of information leaks. Tracking these leaks is hard because error propagation breaks out of program structure. Programming languages often feature excep...
168
click to vote
VTC
2008
IEEE
16 years 27 days ago
2008
IEEE
Abstract— Depending on the position of mobile stations in the multihop relay system, various types of cooperative relaying schemes show the different level of throughput and outa...
151
click to vote
ICEBE
2007
IEEE
16 years 25 days ago
2007
IEEE
This paper investigates profit optimisation by the partitioning of server pools. Different types of web requests are considered in this paper: best-effort requests and multi-class...
201
click to vote
ESWS
2007
Springer
16 years 20 days ago
2007
Springer
Collaborative work environments for scientific knowledge have many applications in research as well as in education. Such systems already exist (e.g. Wikipedia and PlanetMath), b...