| 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 |
