Sciweavers

4139 search results - page 140 / 828
» Designing and Implementing Combinator Languages
Sort
View
200
Voted
PLDI
1995
ACM
15 years 7 months ago
A Type-Based Compiler for Standard ML
Compile-time type information should be valuable in efficient compilation of statically typed functional languages such as Standard ML. But how should type-directed compilation w...
Zhong Shao, Andrew W. Appel
158
Voted
GW
2009
Springer
151views Biometrics» more  GW 2009»
15 years 1 months ago
Towards Interactive Web-Based Virtual Signers: First Step, a Platform for Experimentation Design
In this paper, we present a Web-based framework for interactive Sign Language using virtual signing agents. The main feature of this framework is that it is a full DOM-Integrated a...
Jean-Paul Sansonnet, Annelies Braffort, Cyril Verr...
153
Voted
MODELS
2010
Springer
15 years 1 months ago
transML: A Family of Languages to Model Model Transformations
Model transformation is one of the pillars of Model-Driven Engineering (MDE). The increasing complexity of systems and modelling languages has dramatically raised the complexity an...
Esther Guerra, Juan de Lara, Dimitrios S. Kolovos,...
119
Voted
ICSE
2004
IEEE-ACM
16 years 3 months ago
Design of Large-Scale Polylingual Systems
Abstract. Building systems from existing applications written in two or more languages is common practice. Such systems are polylingual. Polylingual systems are relatively easy to ...
Mark Grechanik, Don S. Batory, Dewayne E. Perry
154
Voted
TABLETOP
2008
IEEE
15 years 10 months ago
TurTan: A tangible programming language for creative exploration
This paper introduces TurTan, a tangible programming language for creative exploration inspired by Logo, which uses a tabletop interface with tangible objects. The aim of this pro...
Daniel Gallardo, Carles Fernandes Julià, Se...