Sciweavers

1559 search results - page 4 / 312
» Fundamentals of Generic Programming
Sort
View
ICSE
2008
IEEE-ACM
15 years 10 months ago
A teamwork-based approach to programming fundamentals with scheme, smalltalk & java
In October 2004 the University of Lugano in southern Switzerland established a new faculty of informatics. Its founding principles are innovation in teaching and faculty participa...
Michele Lanza, Amy L. Murphy, Romain Robbes, Mirce...
SIGPLAN
2008
14 years 9 months ago
Programming languages: fundamental concepts for expanding and disciplining the mind
In this white paper, we propose a list of essential concepts of programming languages, and discuss the techniques we have used to teach these concepts. Categories and Subject Desc...
Mitchell Wand, Daniel P. Friedman
LISP
2000
408views more  LISP 2000»
14 years 9 months ago
Fundamental Concepts in Programming Languages
This paper forms the substance of a course of lectures given at the International Summer School in Computer Programming at Copenhagen in August, 1967. The lectures were originally ...
Christopher Strachey
SFP
2004
14 years 11 months ago
Generic proofs for combinator-based generic programs
Abstract: Generic programming can bring important benefits to software engineering. In particular, it reduces the burden of verification, since generic proofs can be instantiated a...
Fermín Reig
MPC
2004
Springer
165views Mathematics» more  MPC 2004»
15 years 2 months ago
Prototyping Generic Programming in Template Haskell
Abstract. Generic Programming deals with the construction of programs that can be applied to many dierent datatypes. This is achieved by parameterizing the generic programs by the...
Ulf Norell, Patrik Jansson