Travelled to:
1 × France
1 × Poland
2 × USA
Collaborated with:
M.Forsberg ∅ B.Bringert R.Hähnle K.Johannisson
Talks about:
function (2) what (2) morpholog (1) difficult (1) translat (1) composit (1) pattern (1) languag (1) convert (1) between (1)
Person: Aarne Ranta
DBLP: Ranta:Aarne
Contributed to:
Wrote 5 papers:
- CADE-2011-Ranta #logic #what
- Translating between Language and Logic: What Is Easy and What Is Difficult (AR), pp. 5–25.
- ICFP-2006-BringertR #composition
- A pattern for almost compositional functions (BB, AR), pp. 216–226.
- ICFP-2004-ForsbergR #functional
- Functional morphology (MF, AR), pp. 213–223.
- FASE-2002-HahnleJR #authoring #requirements #specification
- An Authoring Tool for Informal and Formal Requirements Specifications (RH, KJ, AR), pp. 233–248.
- Haskell-2004-ForsbergR #bnf
- BNF converter (MF, AR), pp. 94–95.