10899 search results - page 94 / 2180 » The GP Programming System |
ECOOP
2012
Springer
13 years 10 days ago
2012
Springer
X10 is an object oriented programming language with a sophisticated type system (constraints, class invariants, non-erased generics, closures) and concurrency constructs (asynchron...
100
click to vote
IFL
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. In this paper we compare three systems for tracing and debugging Haskell programs: Freja, Hat and Hood. We evaluate their usefulness in practice by applying them to a num...
170
click to vote
POPL
2006
ACM
15 years 10 months ago
2006
ACM
We exhibit the rationale behind the design of Epigram, a dependently typed programming language and interactive program development system, using refinements of a well known progr...
ICLP
2005
Springer
15 years 3 months ago
2005
Springer
ICLP
2003
Springer
15 years 3 months ago
2003
Springer
