84 search results - page 1 / 17 » Adventures in Bidirectional Programming |
FSTTCS
2007
Springer
13 years 11 months ago
2007
Springer
ITICSE
2010
ACM
13 years 10 months ago
2010
ACM
This paper describes the integration of the Alice 3D virtual worlds environment into many disciplines in elementary school, middle school and high school. We have developed a wide...
PPDP
2004
Springer
13 years 10 months ago
2004
Springer
SML.NET is a compiler for Standard ML that targets the Common Language Runtime and is integrated into the Visual Studio development environment. It supports easy interoperability ...
POPL
2006
ACM
14 years 5 months ago
2006
ACM
Abstract. This paper investigates what is essentially a call-by-value version of PCF under a complexity-theoretically motivated type system. The programming formalism, ATR, has its...
Book
"Have you ever played a side-scrolling action arcade game on your PC and wondered what it takes to program one? How do the programmers scroll their backgrounds so fast and mak...