Sciweavers

13734 search results - page 85 / 2747
» Abstractions of data types
Sort
View
SAIG
2000
Springer
14 years 14 days 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
EACL
2009
ACL Anthology
14 years 9 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...
FIWAC
1993
152views Cryptology» more  FIWAC 1993»
14 years 1 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
SIAMJO
2000
69views more  SIAMJO 2000»
13 years 8 months ago
A Truly Globally Convergent Newton-Type Method for the Monotone Nonlinear Complementarity Problem
Abstract. The Josephy
Mikhail V. Solodov, Benar Fux Svaiter
LICS
1997
IEEE
14 years 1 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