10912 search results - page 494 / 2183 » Object-Oriented Programming Languages |
176
click to vote
SIGPLAN
2002
15 years 6 months ago
2002
This paper describes a course in hardware description and synthesis (hardware compilation), taught as an introductory graduate course at Chalmers University of Technology, and as a...
185
click to vote
ICFP
2008
ACM
16 years 6 months ago
2008
ACM
We report on an extension of Haskell with open type-level functions and equality constraints that unifies earlier work on GADTs, functional dependencies, and associated types. The...
157
click to vote
ESOP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Structural subtyping is popular in research languages, but all mainstream object-oriented languages use nominal subtyping. Since languages with structural subtyping are n...
145
click to vote
SIGCSE
2005
ACM
16 years 13 days ago
2005
ACM
Last year we described the PL-Detective, a system for building exercises and demonstrations in a programming languages course. One of the main goals of the PL-Detective was to pro...
161
click to vote
HOPL
2007
15 years 10 months ago
2007
This is an account of the development of the languages Modula-2 and Oberon. Together with their ancestors ALGOL 60 and Pascal they form a family called Algollike languages. Pascal...