dblp.uni-trier.dewww.uni-trier.de

Bengt Nordström

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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
13EEJanna 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
2EEBengt Nordström: Programming with abstract data types, some examples. ACM Annual Conference (2) 1978: 646-654
1976
1EEBengt 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

Coauthor Index

1Thierry Coquand [10] [12]
2Peter Dybjer [11] [12]
3Janna Khegai [13]
4Richard B. Kieburtz (Dick Kieburtz) [6]
5Lena Magnusson [9]
6Kent Petersson [3]
7Aarne Ranta [13] [14]
8Jan M. Smith [5] [10] [11] [12]
9Björn von Sydow [10]
10Åke Wikström [4]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)