Travelled to:2 × Japan
Collaborated with:∅
Talks about:constraint (1) implement (1) function (1) encapsul (1) languag (1) search (1) number (1) linear (1) logic (1) curri (1)
Person: Wolfgang Lux
DBLP: Lux:Wolfgang
Contributed to:
20011999Wrote 2 papers:
- FLOPS-2001-Lux #constraints #linear
- Adding Linear Constraints over Real Numbers to Curry (WL), pp. 185–200.
- FLOPS-1999-Lux #encapsulation #functional #implementation #lazy evaluation #logic
- Implementing Encapsulated Search for a Lazy Functional Logic Language (WL), pp. 100–113.