Edmund S L Lam
Title
Cited by
Cited by
Year
A concurrent Constraint Handling Rules implementation in Haskell with software transactional memory
ESL Lam, M Sulzmann
Proceedings of the 2007 workshop on Declarative aspects of multicore …, 2007
332007
Actors with multi-headed message receive patterns
M Sulzmann, ESL Lam, P Van Weert
International Conference on Coordination Languages and Models, 315-330, 2008
322008
Comparing the performance of concurrent linked-list implementations in Haskell
M Sulzmann, ESL Lam, S Marlow
ACM Sigplan Notices 44 (5), 11-20, 2009
292009
Automatic building of java projects in software repositories: A study on feasibility and challenges
F Hassan, S Mostafa, ESL Lam, X Wang
2017 ACM/IEEE International Symposium on Empirical Software Engineering and …, 2017
202017
Towards agent programming in CHR
ESL Lam, M Sulzmann
CHR 6, 17-31, 2006
192006
Parallel execution of multi-set constraint rewrite rules
M Sulzmann, ESL Lam
Proceedings of the 10th international ACM SIGPLAN conference on Principles …, 2008
182008
Concurrent goal-based execution of constraint handling rules
ESL Lam, M Sulzmann
arXiv preprint arXiv:1006.3039, 2010
142010
Comingle: Distributed Logic Programming for Decentralized Mobile Ensembles
ESL Lam, I Cervesato, N Fatima
17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part …, 2015
122015
Compiling Constraint Handling Rules with lazy and concurrent search techniques
M Sulzmann, ES Lam
CHR 7, 139-149, 2007
92007
Decentralized execution of constraint handling rules for ensembles
ESL Lam, I Cervesato
Proceedings of the 15th Symposium on Principles and Practice of Declarative …, 2013
82013
Haskell-join-rules
M Sulzmann, ES Lam
IFL 7, 195-210, 2007
82007
Modeling datalog fact assertion and retraction in linear logic
ESL Lam, I Cervesato
Proceedings of the 14th symposium on Principles and practice of declarative …, 2012
62012
ChimpCheck: property-based randomized test generation for interactive apps
ESL Lam, P Zhang, BYE Chang
Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas …, 2017
52017
Optimized Compilation of Multiset Rewriting with Comprehensions
ESL Lam, I Cervesato
Asian Symposium on Programming Languages and Systems, 19-38, 2014
42014
Reasoning about Set Comprehension
ESL Lam, I Cervesato
In SMT’14, 2014
42014
Finally, a comparison between Constraint Handling Rules and join-calculus
ESL Lam, M Sulzmann
The 5th Workshop on Constraint Handling Rules, 51, 2008
42008
Constraint Handling Rules with Multiset Comprehension Patterns
ESL Lam, I Cervesato
arXiv preprint arXiv:1406.2121, 2014
32014
Parallel join patterns with guards and propagation
M Sulzmann, ESL Lam
Unpublished manuscript, 2008
32008
Modular multiset rewriting
I Cervesato, ESL Lam
Logic for Programming, Artificial Intelligence, and Reasoning, 515-531, 2015
22015
Comingle: Distributed Logic Programming for Decentralized Android Applications
ESL Lam, I Cervesato
Technical Report CMU-CS-15-101, Carnegie Mellon University, 2015
22015
The system can't perform the operation now. Try again later.
Articles 1–20