Search the dblp DataBase

Publications of Author

1. Bengt Nordström
   Programming with abstract data types, some examples. [Citation Graph (0, 0)][DBLP]
   ACM Annual Conference (2), 1978, pp:646-654 [Conf]
   
2. Janna Khegai, Bengt Nordström, Aarne Ranta
   Multilingual Syntax Editing in GF. [Citation Graph (0, 0)][DBLP]
   CICLing, 2003, pp:453-464 [Conf]
   
3. Bengt Nordström, Kent Petersson
   Types and Specifications. [Citation Graph (0, 0)][DBLP]
   IFIP Congress, 1983, pp:915-920 [Conf]
   
4. Bengt Nordström
   Multilevel functions in Martin-Löf's type theory. [Citation Graph (0, 0)][DBLP]
   Programs as Data Objects, 1985, pp:206-221 [Conf]
   
5. Bengt Nordström
   An Outline of a Mathematical Model for the Definition and Manipulation of Data. [Citation Graph (0, 0)][DBLP]
   Conference on Data: Abstraction, Definition and Structure, 1976, pp:1-11 [Conf]
   
6. Lena Magnusson, Bengt Nordström
   The ALF Proof Editor and Its Proof Engine. [Citation Graph (0, 0)][DBLP]
   TYPES, 1993, pp:213-237 [Conf]
   
7. Bengt Nordström
   Terminating General Recursion. [Citation Graph (0, 0)][DBLP]
   BIT, 1988, v:28, n:3, pp:605-619 [Journal]
   
8. Bengt Nordström, Jan M. Smith
   Propositions and Specifications of Programs in Martin-Löfs Type Theory. [Citation Graph (0, 0)][DBLP]
   BIT, 1984, v:24, n:3, pp:288-301 [Journal]
   
9. Richard B. Kieburtz, Bengt Nordström
   The Design of Apple - A Language for Modular Programs. [Citation Graph (0, 0)][DBLP]
   Comput. Lang., 1985, v:10, n:1, pp:1-22 [Journal]
   
10. Thierry Coquand, Bengt Nordström, Jan M. Smith, Björn von Sydow
    Type Theorie Programming. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1994, v:52, n:, pp:203-228 [Journal]
    
11. Bengt Nordström, Åke Wikström
    The Design of an Interactive Program Development System for Pascal. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1984, v:14, n:2, pp:177-190 [Journal]