84 search results - page 1 / 17 » Adventures in Bidirectional Programming |
58
Voted
FSTTCS
2007
Springer
15 years 3 months ago
2007
Springer
ITICSE
2010
ACM
15 years 2 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
15 years 2 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 ...
178
Voted
POPL
2006
ACM
15 years 9 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...
156
Voted
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...