Travelled to:1 × Belgium
1 × Estonia
1 × Germany
1 × Spain
1 × The Netherlands
Collaborated with:W.Hans R.Loogen F.Sáenz J.J.Ruz J.J.Moreno-Navarro H.Kuchen J.Mariño-Carballo
Talks about:function (2) languag (2) lazi (2) implement (1) backtrack (1) parallel (1) interact (1) determin (1) demanded (1) express (1)
Person: Stephan Winkler
DBLP: Winkler:Stephan
Contributed to:
19951994199319921991Wrote 5 papers:
- PLILP-1995-HansSW #functional #implementation #logic
- An Expression-Or-Parallel Implementation for a Functional Logic Language (WH, FS, SW), pp. 457–458.
- PLILP-1994-SaenzHRW #memory management #specification
- Shared Memory System for Babel: a VHDL Specification (FS, WH, JJR, SW), pp. 461–462.
- PLILP-1993-Moreno-NavarroKMWH #analysis #lazy evaluation #performance #using
- Efficient Lazy Narrowing using Demandedness Analysis (JJMN, HK, JMC, SW, WH), pp. 167–183.
- PLILP-1992-HansLW #backtracking #evaluation #interactive #lazy evaluation #on the
- On the Interaction of Lazy Evaluation and Backtracking (WH, RL, SW), pp. 355–369.
- PLILP-1991-LoogenW #detection #functional
- Dynamic Detection of Determinism in Functional Languages (RL, SW), pp. 335–346.