A sophomore course in codesign J Madsen, J Steensgaard-Madsen, LM Christensen Computer 35 (11), 108-110, 2002 | 23 | 2002 |
Typed representation of objects by functions J Steensgaard-Madsen ACM Transactions on Programming Languages and Systems (TOPLAS) 11 (1), 67-89, 1989 | 21 | 1989 |
A statement-oriented approach to data abstraction J Steensgaard-Madsen ACM Transactions on Programming Languages and Systems (TOPLAS) 3 (1), 1-10, 1981 | 17 | 1981 |
Definition of the Programming Language {MODEF} J Steensgaard-Madsen, LM Olsen ACM}{SIGPLAN} Notices 19, 92-110, 1984 | 8 | 1984 |
Pascal-clarifications and recommended extensions J Steensgaard-Madsen Acta Informatica 12 (1), 73-94, 1979 | 6 | 1979 |
A generator for composition interpreters J Steensgaard-Madsen Object-Oriented Technologys: ECOOP’97 Workshop Reader ECOOP’97 Workshops …, 1998 | 4 | 1998 |
Modular programming with Pascal J Steensgaard‐Madsen Software: Practice and Experience 11 (12), 1331-1337, 1981 | 4 | 1981 |
Htel: a hypertext expression language J Steensgaard‐Madsen Software: Practice and Experience 29 (8), 661-675, 1999 | 3 | 1999 |
Adding abstract datatypes to Meta-IV J Steensgaard-Madsen VDM'90 VDM and Z—Formal Methods in Software Development: Third …, 1990 | 3 | 1990 |
Pascal 1100 User's Manual J Steensgaard-Madsen, H Snog UNI-C, 1985 | 2 | 1985 |
Document preparation systems H Hansson, J Steensgaard‐Madsen Software: Practice and Experience 11 (9), 983-997, 1981 | 2 | 1981 |
KWIC-index generation J Steensgaard-Madsen, JW Hughes, MS Powell, H Ehrig, HJ Kreowski, ... Program Specification, Proceedings of a Workshop, 47-117, 1981 | 2 | 1981 |
Procedures as Monitors in Sequential Programming J Steensgaard-Madsen DIKU, Copenhagen, Denmark, 1977 | 2 | 1977 |
More on dynamic arrays in PASCAL J Steensgaard-Madsen ACM SIGPLAN Notices 11 (5), 63-64, 1976 | 2 | 1976 |
Programs as proofs J Steensgaard-Madsen arXiv preprint arXiv:1509.04040, 2015 | | 2015 |
Explicit continuations and type parameterisation J Steensgaard-Madsen Proceedings of the NWPT 01 Nordic Workshop on Programming Theory, DTU Lyngby …, 2001 | | 2001 |
ML for the working programmer: LC Paulson,(Cambridge University Press, Cambridge, England, 1991), Price£ 27.50, $49.50 (hardcover), ISBN 0-521-39022-2 J Steensgaard-Madsen Science of Computer Programming 18 (3), 300-301, 1992 | | 1992 |
Applicative high order programming: The standard ML perspective: S. Sokolowski,(Chapman and Hall, London, 1991), Price£ 19.95, ISBN 0-412-39240-2 J Steensgaard-Madsen Science of Computer Programming 18 (3), 293-294, 1992 | | 1992 |
MODULE TREES AND SOFTWARE DESIGN J Steensgaard-Madsen Third International Workshop on Software Specification and Design: August 26 …, 1985 | | 1985 |
A skeleton interpreter for specialized languages J Steensgaard-Madsen Proc. IFIP working conference on Programming Languages and System Design …, 1983 | | 1983 |