2008 |
14 | | Bengt Nordström,
Aarne Ranta:
Advances in Natural Language Processing, 6th International Conference, GoTAL 2008, Gothenburg, Sweden, August 25-27, 2008, Proceedings
Springer 2008 |
2003 |
13 | EE | Janna Khegai,
Bengt Nordström,
Aarne Ranta:
Multilingual Syntax Editing in GF.
CICLing 2003: 453-464 |
2000 |
12 | | Thierry Coquand,
Peter Dybjer,
Bengt Nordström,
Jan M. Smith:
Types for Proofs and Programs, International Workshop TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers
Springer 2000 |
1995 |
11 | | Peter Dybjer,
Bengt Nordström,
Jan M. Smith:
Types for Proofs and Programs, International Workshop TYPES'94, Båstad, Sweden, June 6-10, 1994, Selected Papers
Springer 1995 |
1994 |
10 | | Thierry Coquand,
Bengt Nordström,
Jan M. Smith,
Björn von Sydow:
Type Theorie Programming.
Bulletin of the EATCS 52: 203-228 (1994) |
1993 |
9 | | Lena Magnusson,
Bengt Nordström:
The ALF Proof Editor and Its Proof Engine.
TYPES 1993: 213-237 |
1988 |
8 | | Bengt Nordström:
Terminating General Recursion.
BIT 28(3): 605-619 (1988) |
1985 |
7 | | Bengt Nordström:
Multilevel functions in Martin-Löf's type theory.
Programs as Data Objects 1985: 206-221 |
6 | | Richard B. Kieburtz,
Bengt Nordström:
The Design of Apple - A Language for Modular Programs.
Comput. Lang. 10(1): 1-22 (1985) |
1984 |
5 | | Bengt Nordström,
Jan M. Smith:
Propositions and Specifications of Programs in Martin-Löfs Type Theory.
BIT 24(3): 288-301 (1984) |
4 | | Bengt Nordström,
Åke Wikström:
The Design of an Interactive Program Development System for Pascal.
Softw., Pract. Exper. 14(2): 177-190 (1984) |
1983 |
3 | | Bengt Nordström,
Kent Petersson:
Types and Specifications.
IFIP Congress 1983: 915-920 |
1978 |
2 | EE | Bengt Nordström:
Programming with abstract data types, some examples.
ACM Annual Conference (2) 1978: 646-654 |
1976 |
1 | EE | Bengt Nordström:
An Outline of a Mathematical Model for the Definition and Manipulation of Data.
Conference on Data: Abstraction, Definition and Structure 1976: 1-11 |