Sciweavers

10575 search results - page 226 / 2115
» Programming Languages
Sort
View
HASKELL
2009
ACM
16 years 23 days ago
Types are calling conventions
It is common for compilers to derive the calling convention of a function from its type. Doing so is simple and modular but misses many optimisation opportunities, particularly in...
Maximilian C. Bolingbroke, Simon L. Peyton Jones
ACMSE
2005
ACM
15 years 11 months ago
BoxScript: a component-oriented language for teaching
As component-oriented approaches become increasingly pervasive in the development of complex software systems, it becomes increasingly important to introduce computing science stu...
Yi Liu, H. Conrad Cunningham
SIGCSE
1998
ACM
112views Education» more  SIGCSE 1998»
15 years 10 months ago
Experience with an analytic approach to teaching programming languages
Through the use of interpreters it is possible to teach programming languages in an analytic way without the mathematical overhead associated with other formal methods. This is a ...
Christopher T. Haynes
PLDI
2005
ACM
15 years 11 months ago
Essential language support for generic programming
Concepts are an essential language feature for generic programming in the large. Concepts allow for succinct expression of constraints on type parameters of generic algorithms, en...
Jeremy G. Siek, Andrew Lumsdaine
PLDI
1998
ACM
15 years 10 months ago
Units: Cool Modules for HOT Languages
A module system ought to enable assembly-line programming using separate compilation and an expressive linking language. Separate compilation allows programmers to develop parts o...
Matthew Flatt, Matthias Felleisen