Sciweavers

10575 search results - page 15 / 2115
» Programming Languages
Sort
View
152
Voted
ESOP
2006
Springer
15 years 9 months ago
The Weird World of Bi-directional Programming
Benjamin C. Pierce
137
Voted
APLAS
2001
ACM
15 years 9 months ago
Functional Quantum Programming
Shin-Cheng Mu, Richard S. Bird
123
Voted
PPDP
2000
Springer
15 years 9 months ago
Type-based nondeterminism checking in functional logic programs
Michael Hanus, Frank Steiner