Sciweavers

13734 search results - page 85 / 2747
» Abstractions of data types
Sort
View
122
Voted
SAIG
2000
Springer
15 years 6 months ago
Compiling Embedded Languages
Abstract. Functional languages are particularly well-suited to the implementation of interpreters for domain-specific embedded languages (DSELs). We describe an implemented techniq...
Conal Elliott, Sigbjorn Finne, Oege de Moor
121
Voted
EACL
2009
ACL Anthology
16 years 3 months ago
Deriving Generalized Knowledge from Corpora Using WordNet Abstraction
ion Benjamin Van Durme, Phillip Michalak and Lenhart K. Schubert Department of Computer Science University of Rochester Rochester, NY 14627, USA Existing work in the extraction of...
Benjamin Van Durme, Phillip Michalak, Lenhart Schu...
104
Voted
FIWAC
1993
152views Cryptology» more  FIWAC 1993»
15 years 6 months ago
Disjoint Systems (Extended Abstract)
Systems (Extended Abstract) Noga Alon ∗ Benny Sudakov Department of Mathematics Raymond and Beverly Sackler Faculty of Exact Sciences Tel Aviv University, Tel Aviv, Israel A dis...
Noga Alon, Benny Sudakov
125
Voted
SIAMJO
2000
69views more  SIAMJO 2000»
15 years 2 months ago
A Truly Globally Convergent Newton-Type Method for the Monotone Nonlinear Complementarity Problem
Abstract. The Josephy
Mikhail V. Solodov, Benar Fux Svaiter
132
Voted
LICS
1997
IEEE
15 years 6 months ago
Full Abstraction for Functional Languages with Control
traction for Functional Languages with Control James Laird LFCS, Department of Computer Science University of Edinburgh This paper considers the consequences of relaxing the brack...
James Laird