Sciweavers

3119 search results - page 528 / 624
» General Default Logic
Sort
View
136
Voted
ICFP
2010
ACM
15 years 1 months ago
A fresh look at programming with names and binders
A wide range of computer programs, including compilers and theorem provers, manipulate data structures that involve names and binding. However, the design of programming idioms wh...
Nicolas Pouillard, François Pottier
89
Voted
GPCE
2008
Springer
15 years 1 months ago
Polymorphic embedding of dsls
The influential pure embedding methodology of embedding domainspecific languages (DSLs) as libraries into a general-purpose host language forces the DSL designer to commit to a ...
Christian Hofer, Klaus Ostermann, Tillmann Rendel,...
104
Voted
HASKELL
2008
ACM
15 years 1 months ago
Language and program design for functional dependencies
Eight years ago, functional dependencies, a concept from the theory of relational databases, were proposed as a mechanism for avoiding common problems with multiple parameter type...
Mark P. Jones, Iavor S. Diatchki
92
Voted
LDTA
2010
15 years 1 months ago
Faster ambiguity detection by grammar filtering
Real programming languages are often defined using ambiguous context-free grammars. Some ambiguity is intentional while other ambiguity is accidental. A good grammar development e...
H. J. S. Basten, Jurgen J. Vinju
123
Voted
MM
2010
ACM
157views Multimedia» more  MM 2010»
15 years 1 months ago
Interactive storytelling via video content recombination
In the paper we present a prototype of video-based storytelling that is able to generate multiple story variants from a baseline video. The video content for the system is generat...
Julie Porteous, Sergio Benini, Luca Canini, Fred C...