297 search results - page 36 / 60 » ATS: A Language That Combines Programming with Theorem Provi... |
100
click to vote
ECOOP
2008
Springer
15 years 3 months ago
2008
Springer
This paper demonstrates the impact of integrating session types and object-oriented programming, through their implementation in Java. Seses provide high-level abstraction for stru...
111
click to vote
ICFP
2010
ACM
15 years 1 months ago
2010
ACM
While many type systems based on the intuitionistic fragment of linear logic have been proposed, applications in programming languages of the full power of linear logic--including...
102
click to vote
PLDI
2010
ACM
15 years 6 months ago
2010
ACM
Multi-stage programming (MSP) provides a disciplined approach to run-time code generation. In the purely functional setting, it has been shown how MSP can be used to reduce the ov...
137
click to vote
ICFP
2002
ACM
16 years 1 months ago
2002
ACM
Compilers for dynamically and statically typed languages ensure safe execution by verifying that all operations are performed on appropriate values. An operation as simple as car ...
120
click to vote
SAIG
2000
Springer
15 years 4 months ago
2000
Springer
Extracting information from data, often also called data analysis, is an important scienti c task. Statistical approaches, which use methods from probability theory and numerical a...