( en | de | ru )

 

Disambiguation of "Ranta, Aarne"

Author of the publication

copydeleteadd this publication to your clipboard
A pattern for almost compositional functions.

, and . ICFP, page 216-226. ACM, (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Felicia Ranta

Toni Rantanen

Aarne Stüven

Aarne Kumlin

Aarne Fleischer

 

Other publications of authors with the same name

Grammatical Framework.. J. Funct. Program., 14 (2): 145-189 (2004)A pattern for almost compositional functions., and . J. Funct. Program., 18 (5-6): 567-598 (2008)Syntactic Categories in the Language of Mathematics.. TYPES, volume 996 of Lecture Notes in Computer Science, page 162-182. Springer, (1994)Controlled Language for Everyday Use: The MOLTO Phrasebook., , and . CNL, volume 7175 of Lecture Notes in Computer Science, page 115-136. Springer, (2010)Embedded Controlled Languages.. CNL, volume 8625 of Lecture Notes in Computer Science, page 1-7. Springer, (2014)Speaking About Wine: Another Case Study in Bridging the Gap Between Formal and Informal Knowledge.. The Logic of Software. A Tasting Menu of Formal Methods, volume 13360 of Lecture Notes in Computer Science, page 397-407. Springer, (2022)BNF converter., and . Haskell, page 94-95. ACM, (2004)On the Syntax and Translation of Finnish Discourse Clitics.. Shall We Play the Festschrift Game?, page 227-241. Springer, (2012)Implementing controlled languages in GF, and . Controlled Natural Language, Springer, (2010)Context-Relative Syntactic Categories and the Formalization of Mathematical Text.. TYPES, volume 1158 of Lecture Notes in Computer Science, page 231-248. Springer, (1995)