Sciweavers

10585 search results - page 325 / 2117
» The Orc Programming Language
Sort
View
PPDP
2009
Springer
15 years 9 months ago
Set functions for functional logic programming
We propose a novel approach to encapsulate non-deterministic computations in functional logic programs. Our approach is based on set functions that return the set of all the resul...
Sergio Antoy, Michael Hanus
96
Voted
BIRTHDAY
2004
Springer
15 years 8 months ago
The Birth of Object Orientation: the Simula Languages
The development of the programming languages Simula I and Simula 67 is briefly described. An attempt is made also to explain the cultural impact of the languages, in particular t...
Ole-Johan Dahl
209
Voted
POPL
2006
ACM
16 years 3 months ago
A polymorphic modal type system for lisp-like multi-staged languages
This article presents a polymorphic modal type system and its principal type inference algorithm that conservatively extend ML by all of Lisp's staging constructs (the quasi-...
Ik-Soon Kim, Kwangkeun Yi, Cristiano Calcagno
76
Voted
ICMT
2009
Springer
15 years 9 months ago
Foundations for Bidirectional Programming
Benjamin C. Pierce