-
1
-
-
1142267381
-
Grammatical Framework: A Type-Theoretical Grammar Formalism
-
Ranta, A.: Grammatical Framework: A Type-Theoretical Grammar Formalism. Journal of Functional Programming 14(2), 145-189 (2004)
-
(2004)
Journal of Functional Programming
, vol.14
, Issue.2
, pp. 145-189
-
-
Ranta, A.1
-
2
-
-
77952094571
-
Grammars as software libraries
-
Bertot, Y, Huet, G, Lévy, J.J, Plotkin, G, eds, Cambridge University Press, Cambridge
-
Ranta, A.: Grammars as software libraries. In: Bertot, Y., Huet, G., Lévy, J.J., Plotkin, G. (eds.) From semantics to computer science: essays in honor of Gilles Kahn. Cambridge University Press, Cambridge (2008)
-
(2008)
From semantics to computer science: Essays in honor of Gilles Kahn
-
-
Ranta, A.1
-
3
-
-
0019614259
-
The Cornell program synthesizer: A syntax-directed programming environment
-
Teitelbaum, T., Reps, T.: The Cornell program synthesizer: a syntax-directed programming environment. Commun. ACM 24(9), 563-573 (1981)
-
(1981)
Commun. ACM
, vol.24
, Issue.9
, pp. 563-573
-
-
Teitelbaum, T.1
Reps, T.2
-
4
-
-
0141664989
-
Interactively Editing Structured Documents
-
Furuta, R., Quint, V., Andre, J.: Interactively Editing Structured Documents. Electronic Publishing 1(1), 19-44 (1988)
-
(1988)
Electronic Publishing
, vol.1
, Issue.1
, pp. 19-44
-
-
Furuta, R.1
Quint, V.2
Andre, J.3
-
5
-
-
84958052070
-
-
Khegai, J., Nordström, B., Ranta, A.: Multilingual Syntax Editing in GF. In: Gelbukh, A. (ed.) CICLing 2003. LNCS, 2588, pp. 199-204. Springer, Heidelberg (2003)
-
Khegai, J., Nordström, B., Ranta, A.: Multilingual Syntax Editing in GF. In: Gelbukh, A. (ed.) CICLing 2003. LNCS, vol. 2588, pp. 199-204. Springer, Heidelberg (2003)
-
-
-
-
6
-
-
52149118989
-
Rapid Development of Dialogue Systems by Grammar Compilation
-
Keizer, S, Bunt, H, Paek, T, eds, Antwerp, Belgium, pp
-
Bringert, B.: Rapid Development of Dialogue Systems by Grammar Compilation. In: Keizer, S., Bunt, H., Paek, T. (eds.) Proceedings of the 8th SIGdial Workshop on Discourse and Dialogue, Antwerp, Belgium, pp. 223-226 (2007)
-
(2007)
Proceedings of the 8th SIGdial Workshop on Discourse and Dialogue
, pp. 223-226
-
-
Bringert, B.1
-
7
-
-
77956256718
-
Parsing Linear Context-Free Rewriting Systems
-
Vancouver, British Columbia, pp, Association for Computational Linguistics
-
Burden, H., Ljunglöf, P.: Parsing Linear Context-Free Rewriting Systems. In: Proceedings of the Ninth International Workshop on Parsing Technology, Vancouver, British Columbia, pp. 11-17. Association for Computational Linguistics (2005)
-
(2005)
Proceedings of the Ninth International Workshop on Parsing Technology
, pp. 11-17
-
-
Burden, H.1
Ljunglöf, P.2
-
8
-
-
52149123231
-
-
Angelov, K., Bringert, B., Ranta, A.: PGF: A Portable Run-Time Format for Type-Theoretical Grammars (manuscript, 2008), http://www.cs.chalmers.se/ ∼bringert/publ/pgf/pgf.pdf
-
Angelov, K., Bringert, B., Ranta, A.: PGF: A Portable Run-Time Format for Type-Theoretical Grammars (manuscript, 2008), http://www.cs.chalmers.se/ ∼bringert/publ/pgf/pgf.pdf
-
-
-
-
9
-
-
35148878980
-
Verification of Object-Oriented Software
-
Beckert, B, Hähnle, R, Schmitt, P.H, eds, Springer, Heidelberg
-
Beckert, B., Hähnle, R., Schmitt, P.H. (eds.): Verification of Object-Oriented Software. LNCS (LNAI), vol. 4334. Springer, Heidelberg (2007)
-
(2007)
LNCS (LNAI
, vol.4334
-
-
-
10
-
-
84881438199
-
From Grammars to Gramlets
-
Chalmers University of Technology
-
Johannisson, K., Khegai, J., Forsberg, M., Ranta, A.: From Grammars to Gramlets. In: The Joint Winter Meeting of Computing Science and Computer Engineering. Chalmers University of Technology (2003)
-
(2003)
The Joint Winter Meeting of Computing Science and Computer Engineering
-
-
Johannisson, K.1
Khegai, J.2
Forsberg, M.3
Ranta, A.4
-
11
-
-
0009526892
-
What You See Is What You Meant: Direct knowledge editings with natural language feedback
-
Power, R., Scott, D., Evans, R.: What You See Is What You Meant: direct knowledge editings with natural language feedback. In: 13th European Conference on Artificial Intelligence (ECAI 1998), pp. 677-681 (1998)
-
(1998)
13th European Conference on Artificial Intelligence (ECAI
, pp. 677-681
-
-
Power, R.1
Scott, D.2
Evans, R.3
-
12
-
-
52149124952
-
-
Cohen, A., Cuypers, H., Poels, K., Spanbroek, M., Verrijzer, R.: WExEd - WebALT Exercise Editor for Multilingual Mathematical Exercises. In: Seppälä, M., Xambo, S., Caprotti, O. (eds.) WebALT 2006, First WebALT Conference and Exhibition, Eindhoven, Netherlands, pp. 141-145 (January 2006)
-
Cohen, A., Cuypers, H., Poels, K., Spanbroek, M., Verrijzer, R.: WExEd - WebALT Exercise Editor for Multilingual Mathematical Exercises. In: Seppälä, M., Xambo, S., Caprotti, O. (eds.) WebALT 2006, First WebALT Conference and Exhibition, Eindhoven, Netherlands, pp. 141-145 (January 2006)
-
-
-
|