5 papers:
DATE-v1-2004-FengWCL #clustering #simulation- Improved Symoblic Simulation by Dynamic Funtional Space Partitioning (TF, LCW, KTC, CCL), pp. 42–49.
JICSLP-1998-HanusS #logic programming #source code- Controlling Search in Funtional Logic Programs (MH, FS), pp. 347–348.
- ICLP-1994-LaunchburyJ #lazy evaluation #thread
- Lazy Funtional State Threads: An Abstract (JL, SLPJ), pp. 3–5.
CAiSE-1991-OrlowskaJ #algebra #relational- A Funtional Method of Data Processing based on Relational Algebra (MEO, KGJ), pp. 98–123.
CADE-1982-LuskMO #architecture #kernel #logic- Logic Machine Architecture: Kernel Funtions (ELL, WM, RAO), pp. 70–84.
