Travelled to:
1 × Estonia
1 × Ireland
1 × Spain
1 × United Kingdom
Collaborated with:
R.Plasmeijer S.Smetsers M.J.Plasmeijer M.C.J.D.v.Eekelen P.Achten A.Alimarine
Talks about:
function (3) type (3) oper (3) compil (2) applic (2) shell (2) that (2) prototyp (1) interact (1) toolkit (1)
Person: Arjen van Weelden
DBLP: Weelden:Arjen_van
Contributed to:
Wrote 6 papers:
- IFL-2005-WeeldenSP #syntax
- Polytypic Syntax Tree Operations (AvW, SS, RP), pp. 142–159.
- AFP-2004-AchtenEPW04 #agile #interactive #named #prototype #tool support #type safety
- GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications (PA, MCJDvE, RP, AvW), pp. 210–244.
- AFP-2004-PlasmeijerW04 #functional
- A Functional Shell That Operates on Typed and Compiled Applications (RP, AvW), pp. 245–272.
- IFL-2003-WeeldenP #functional
- A Functional Shell That Dynamically Combines Compiled Code (AvW, RP), pp. 36–52.
- IFL-2002-WeeldenP #functional #operating system #towards
- Towards a Strongly Typed Functional Operating System (AvW, MJP), pp. 215–231.
- Haskell-2005-AlimarineSWEP #programming
- There and back again: arrows for invertible programming (AA, SS, AvW, MCJDvE, RP), pp. 86–97.