1675 search results - page 85 / 335 » Some thoughts on teaching programming and programming langua... |
118
click to vote
ICFP
2001
ACM
16 years 4 months ago
2001
ACM
We present a dependently typed assembly language (DTAL) in which the type system supports the use of a restricted form of dependent types, reaping some benefits of dependent types...
166
click to vote
DALT
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. In this paper, we describe the declarative agent programming language Jadl (JIAC Agent Description Language). Based on threevalued logic, it incorporates ontologies, FIPA...
243
click to vote
Book
"This book gives a practical approach to understanding implementations of non-strict functional languages using lazy graph reduction. The book is intended to be a source of pr...
125
click to vote
DAGSTUHL
2003
15 years 5 months ago
2003
Abstract. PiLib is a library written in Scala that implements the concurrency constructs of the π-calculus. Some features of the programming language Scala, examined in the paper,...
126
click to vote
PLDI
2000
ACM
15 years 8 months ago
2000
ACM
This paper describes the implementation of a purely functional programming language for building software systems. In this language, external tools like compilers and linkers are ...