Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
106 | Koichi Furukawa, Kazunori Ueda |
GHC - A Language for a New Age of Parallel Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, Eighth Conference, Pune, India, December 21-23, 1988, Proceedings, pp. 364-376, 1988, Springer, 3-540-50517-2. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
90 | Kazuko Takahashi, Tadashi Kanamori |
On Parallel Programming Methodology in GHC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '86, Proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986, pp. 92-103, 1986, Springer, 3-540-18024-9. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
88 | Martin Nilsson 0001, Hidehiko Tanaka |
The Art of Building a Parallel Logic Programming System or From Zero to Full GHC in Ten Pages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '87, Proceedings of the 6th Conference, Tokyo, Japan, June 22-24, 1987, pp. 95-104, 1987, Springer, 3-540-19426-6. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
Committed choice, Fleng, GHC, Parallel, Logic Programming, Prolog, Interpreter |
74 | Tristan Oliver Richard Allwood, Simon L. Peyton Jones, Susan Eisenbach |
Finding the needle: stack traces for GHC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell, Haskell 2009, Edinburgh, Scotland, UK, 3 September 2009, pp. 129-140, 2009, ACM, 978-1-60558-508-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
stack trace, debugging |
74 | Peng Li, Simon Marlow, Simon L. Peyton Jones, Andrew P. Tolmach |
Lightweight concurrency primitives for GHC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2007, Freiburg, Germany, September 30, 2007, pp. 107-118, 2007, ACM, 978-1-59593-674-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
concurrency, transactional memory, haskell, thread |
74 | Kazunori Ueda |
A Pure Meta-interpreter for Flat GHC, a Concurrent Constraint Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Logic: Logic Programming and Beyond ![In: Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I, pp. 138-161, 2002, Springer, 3-540-43959-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
62 | Hamish Taylor |
A Lingua Franca For Concurrent Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 18(3), pp. 225-236, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
concurrent logic programming languages, nonflat guards, GHC, clean semantics, control facilities, lingua franca, execution conditions, parallel programming, logic programming, parallel languages, language translation, Parlog |
58 | Kenji Saito |
Overlay GHC: An Extension of Guarded Horn Clauses for Overlay Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 19th International Workshop on Database and Expert Systems Applications (DEXA 2008), 1-5 September 2008, Turin, Italy, pp. 342-346, 2008, IEEE Computer Society, 978-0-7695-3299-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
P2P, programming language, overlay network, concurrent logic programming |
52 | Chaitanya Koparkar |
Making GHC whole again or, how to perform whole-program analysis within GHC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
XRDS ![In: XRDS 28(2), pp. 80-81, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
48 | Simon Marlow, Alexey Rodriguez Yakushev, Simon L. Peyton Jones |
Faster laziness using dynamic pointer tagging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, October 1-3, 2007, pp. 277-288, 2007, ACM, 978-1-59593-815-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
48 | Frank Huch, Frank Kupke |
A High-Level Implementation of Composable Memory Transactions in Concurrent Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation and Application of Functional Languages, 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers, pp. 124-141, 2005, Springer, 3-540-69174-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
48 | Andrew M. Cheadle, A. J. Field, Simon Marlow, Simon L. Peyton Jones, Ronald Lyndon While |
Exploring the barrier to entry: incremental generational garbage collection for Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMM ![In: Proceedings of the 4th International Symposium on Memory Management, ISMM 2004, Vancouver, BC, Canada, October 24-25, 2004, pp. 163-174, 2004, ACM, 1-58113-945-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
non-stop haskell, incremental garbage collection |
48 | Masaki Murakami |
Proving Partial Correctness of Guarded Horn Clauses Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '87, Proceedings of the 6th Conference, Tokyo, Japan, June 22-24, 1987, pp. 215-235, 1987, Springer, 3-540-19426-6. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
45 | Andreas Abel 0001, Marcin Benke, Ana Bove, John Hughes 0001, Ulf Norell |
Verifying haskell programs using constructive type theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2005, Tallinn, Estonia, September 30, 2005, pp. 62-73, 2005, ACM, 1-59593-071-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
GHC core, monadic translation, verification, haskell, type theory, partiality |
42 | Martin Sulzmann, Tom Schrijvers, Peter J. Stuckey |
Principal Type Inference for GHC-Style Multi-parameter Type Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems, 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings, pp. 26-43, 2006, Springer, 3-540-48937-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
42 | Ricardo Massa Ferreira Lima, Rafael Dueire Lins, André L. M. Santos |
A back-end for GHC based on categorical multi-combinators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), Nicosia, Cyprus, March 14-17, 2004, pp. 1482-1489, 2004, ACM, 1-58113-812-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
32 | José Pedro Magalhães, Stefan Holdermans, Johan Jeuring, Andres Löh |
Optimizing generics is easy! ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2010, Madrid, Spain, January 18-19, 2010, pp. 33-42, 2010, ACM, 978-1-60558-727-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
optimization, benchmark, functional programming, haskell, generic programming |
32 | Don Jones Jr., Simon Marlow, Satnam Singh |
Parallel performance tuning for Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell, Haskell 2009, Edinburgh, Scotland, UK, 3 September 2009, pp. 81-92, 2009, ACM, 978-1-60558-508-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
parallel profiling, functional programming |
32 | Louis-Julien Guillemette, Stefan Monnier |
A type-preserving compiler in Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, ICFP 2008, Victoria, BC, Canada, September 20-28, 2008, pp. 75-86, 2008, ACM, 978-1-59593-919-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
compilation, higher-order abstract syntax, typed assembly language, de Bruijn |
32 | Simon Marlow, José Iborra, Bernard J. Pope, Andy Gill |
A lightweight interactive debugger for haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2007, Freiburg, Germany, September 30, 2007, pp. 13-24, 2007, ACM, 978-1-59593-674-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
debugging, lazy evaluation |
32 | Wenzhong Li, Kun Wu, Xu Ping, Ye Tao, Sanglu Lu, Daoxu Chen |
Coordinated Placement and Replacement for Grid-Based Hierarchical Web Caches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GCC ![In: Grid and Cooperative Computing - GCC 2005, 4th International Conference, Beijing, China, November 30 - December 3, 2005, Proceedings, pp. 430-435, 2005, Springer, 3-540-30510-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
32 | Krasimir Angelov, Simon Marlow |
Visual haskell: a full-featured haskell development environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2005, Tallinn, Estonia, September 30, 2005, pp. 5-16, 2005, ACM, 1-59593-071-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
haskell development environment, visual studio |
32 | Kevin Glynn, Peter J. Stuckey, Martin Sulzmann |
Effective Strictness Analysis with HORN Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001, Proceedings, pp. 73-92, 2001, Springer, 3-540-42314-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
32 | Kazunori Ueda |
Resource-Passing Concurrent Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACS ![In: Theoretical Aspects of Computer Software, 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001, Proceedings, pp. 95-126, 2001, Springer, 3-540-42736-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
32 | Alastair Reid 0001 |
Putting the Spine Back in the Spineless Tagless G-Machine: An Implementation of Resumable Black-Holes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 10th International Workshop, IFL'98, London, UK, September 9-11, Selected Papers, pp. 186-199, 1998, Springer, 3-540-66229-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
32 | Steven D. Young, Sudhakar Yalamanchili |
Adaptive routing in generalized hypercube architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPDP ![In: Proceedings of the Third IEEE Symposium on Parallel and Distributed Processing, SPDP 1991, 2-5 December 1991, Dallas, Texas, USA, pp. 564-571, 1991, IEEE Computer Society, 0-8186-2310-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
32 | Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten |
Control Flow versus Logic: A Denotational and a Declarative Model for Guarded Horn Clauses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1989, MFCS'89, Porabka-Kozubnik, Poland, August 28 - September 1, 1989, Proceedings, pp. 165-176, 1989, Springer, 3-540-51486-4. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
30 | Adrian Avenarius, Siegfried Oppermann |
FWEB: A Literate Programming System for Fortran8x. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 25(1), pp. 52-58, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
GHC |
26 | Jeffrey M. Young, Sylvain Henry, John Ericson |
Stretching the Glasgow Haskell Compiler: Nourishing GHC with Domain-Driven Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUNARCH ![In: Proceedings of the 1st ACM SIGPLAN International Workshop on Functional Software Architecture, FUNARCH 2023, Seattle, WA, USA, 8 September 2023, pp. 34-39, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Ruairidh MacGregor, Phil Trinder, Hans-Wolfgang Loidl |
Improving GHC Haskell NUMA profiling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FHPNC@ICFP ![In: FHPNC 2021: Proceedings of the 9th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing, FHPNC@ICFP 2021, Virtual Event, Korea, August 22, 2021., pp. 1-12, 2021, ACM, 978-1-4503-8614-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Alejandro Serrano 0001, Jurriaan Hage |
Type Error Customization in GHC: Controlling expression-level type errors by type-level programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Proceedings of the 29th Symposium on Implementation and Application of Functional Programming Languages, IFL 2017, Bristol, UK, August 30 - September 01, 2017, pp. 2:1-2:15, 2017, ACM. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Mark Grebe, David Young, Andy Gill |
Rewriting a shallow DSL using a GHC compiler extension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2017, Vancouver, BC, Canada, October 23-24, 2017, pp. 246-258, 2017, ACM, 978-1-4503-5524-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Angelo Lucia |
Some properties of the GHC equation of state. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Chem. Eng. ![In: Comput. Chem. Eng. 95, pp. 1-9, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Henrique Ferreiro, Laura M. Castro, Vladimir Janjic, Kevin Hammond |
Kindergarten cop: dynamic nursery resizing for GHC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Proceedings of the 25th International Conference on Compiler Construction, CC 2016, Barcelona, Spain, March 12-18, 2016, pp. 56-66, 2016, ACM, 978-1-4503-4241-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Adam Gundry |
A typechecker plugin for units of measure: domain-specific constraint solving in GHC Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, Haskell 2015, Vancouver, BC, Canada, September 3-4, 2015, pp. 11-22, 2015, ACM, 978-1-4503-3808-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Andrew Farmer, Neil Sculthorpe, Andy Gill |
Reasoning with the HERMIT: tool support for equational reasoning on GHC core programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, Haskell 2015, Vancouver, BC, Canada, September 3-4, 2015, pp. 23-34, 2015, ACM, 978-1-4503-3808-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Carsten Bormann |
6LoWPAN-GHC: Generic Header Compression for IPv6 over Low-Power Wireless Personal Area Networks (6LoWPANs). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 7400, pp. 1-24, November 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Christian Sternagel |
Proof Pearl - A Mechanized Proof of GHC's Mergesort. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 51(4), pp. 357-370, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
26 | Andreas Voellmy, Junchang Wang, Paul Hudak, Kazuhiko Yamamoto |
Mio: a high-performance multicore io manager for GHC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 2013 ACM SIGPLAN Symposium on Haskell, Boston, MA, USA, September 23-24, 2013, pp. 129-140, 2013, ACM, 978-1-4503-2383-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
26 | Janet Davis |
GHC spotlight: Jane Margolis, unlocking the clubhouse 10 years later. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGCSE Bull. ![In: ACM SIGCSE Bull. 44(4), pp. 3, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Neil Sculthorpe, Andrew Farmer, Andy Gill |
The HERMIT in the Tree - Mechanizing Program Transformations in the GHC Core Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation and Application of Functional Languages - 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers, pp. 86-103, 2012, Springer, 978-3-642-41581-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Stephanie Weirich |
Dependently-Typed Programming in GHC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings, pp. 3, 2012, Springer, 978-3-642-29821-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Rubén Monjaraz, Julio Mariño |
From the π-calculus to flat GHC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Principles and Practice of Declarative Programming, PPDP'12, Leuven, Belgium - September 19 - 21, 2012, pp. 163-172, 2012, ACM, 978-1-4503-1522-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Andrew Farmer, Andy Gill, Ed Komp, Neil Sculthorpe |
The HERMIT in the machine: a plugin for the interactive transformation of GHC core language programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 5th ACM SIGPLAN Symposium on Haskell, Haskell 2012, Copenhagen, Denmark, 13 September 2012, pp. 1-12, 2012, ACM, 978-1-4503-1574-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Bryan O'Sullivan, Johan Tibell |
Scalable i/o event handling for GHC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 3rd ACM SIGPLAN Symposium on Haskell, Haskell 2010, Baltimore, MD, USA, 30 September 2010, pp. 103-108, 2010, ACM, 978-1-4503-0252-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | David A. Terei, Manuel M. T. Chakravarty |
An llVM backend for GHC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 3rd ACM SIGPLAN Symposium on Haskell, Haskell 2010, Baltimore, MD, USA, 30 September 2010, pp. 109-120, 2010, ACM, 978-1-4503-0252-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | László Németh |
Experiments with GHC's optimiser. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trends in Functional Programming ![In: Revised Selected Papers from the Fifth Symposium on Trends in Functional Programming, TFP 2004, München, Germany, 25-26 November 2004., pp. 97-111, 2004, Intellect, 1-84150-144-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
26 | M. R. K. Krishna Rao, Deepak Kapur, R. K. Shyamasundar |
Proving Termination of GHC Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Gener. Comput. ![In: New Gener. Comput. 15(3), pp. 293-338, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
26 | Keiji Hirata 0001 |
Proving Correctness of Translation from Moded Flat GHC to Pi-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Twelfth International Conference on Logic Programming, Tokyo, Japan, June 13-16, 1995, pp. 818, 1995, MIT Press, 0-262-69177-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
26 | Kazunori Ueda, Masao Morita |
Moded Flat GHC and Its Message-Oriented Implementation Technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Gener. Comput. ![In: New Gener. Comput. 13(1), pp. 3-43, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
26 | Kazunori Ueda |
The Mode System of Moded Flat GHC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification of Parallel Algorithms ![In: Specification of Parallel Algorithms, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, May 9-11, 1994, pp. 259-274, 1994, DIMACS/AMS, 978-0-8218-0253-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
26 | Kazunori Ueda, Masao Morita |
Message-Oriented Parallel Implementation of Moded Flat GHC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Gener. Comput. ![In: New Gener. Comput. 11(3), pp. 323-341, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
26 | M. R. K. Krishna Rao, Deepak Kapur, R. K. Shyamasundar |
Proving Termination of GHC Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Tenth International Conference on Logic Programming, Budapest, Hungary, June 21-25, 1993, pp. 720-736, 1993, MIT Press, 0-262-73105-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
26 | Kazunori Ueda, Masao Morita |
Message-Oriented Parallel Implementation of Moded Flat GHC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, June 1-5, Tokyo, Japan., pp. 799-808, 1992, IOS Press, 90-5199-099-5. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
26 | Lutz Plümer |
Automatic Verification of GHC-Programs: Termination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, June 1-5, Tokyo, Japan., pp. 489-496, 1992, IOS Press, 90-5199-099-5. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
26 | Kazunori Ueda, Masao Morita |
A New Implementation Technique for Flat GHC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990, pp. 3-17, 1990, MIT Press, 0-262-73090-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
26 | Koichi Furukawa, Akira Okumura, Masaki Murakami |
Unfolding Rules for GHC Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Gener. Comput. ![In: New Gener. Comput. 6(2&3), pp. 143-157, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
26 | Hamish Taylor |
Localizing the GHC Suspension Test. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 1257-1271, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
26 | Hiroshi Fujita, Akira Okumura, Koichi Furukawa |
Partial Evaluation of GHC Programs Based on the UR-set with Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 924-941, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
26 | Martin Nilsson 0001, Hidehiko Tanaka |
A Flat GHC Implementation for Supercomputers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 1337-1350, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
26 | Jiro Tanaka |
Meta-Interpreters and Reflective Operations in GHC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 774-783, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
26 | Martin Nilsson 0001, Hidehiko Tanaka |
Massively Parallel Implementation of Flat GHC on the Connection Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 1031-1040, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
26 | Kazunori Ueda, Koichi Furukawa |
Transformation Rules for GHC Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 582-591, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
26 | John R. W. Glauert, George A. Papadopoulos |
A Parallel Implementation of GHC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 1051-1058, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
26 | Minoru Terada |
Implementation of Full GHC by Communicating Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '88, Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988, pp. 122-135, 1988, Springer, 3-540-51564-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
26 | Jiro Tanaka |
A Simple Programming System Written in GHC and its Reflective Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '88, Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988, pp. 108-121, 1988, Springer, 3-540-51564-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
26 | Vijay A. Saraswat |
GHC: Operational Semantics, Problems, and Relationships with CP(|, |). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31 - September 4, 1987, pp. 347-358, 1987, IEEE-CS, 0-8186-0799-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
26 | M. Ichiyoshi, T. Miyazaki, Kazuo Taki |
A Distributed Implementation of Flat GHC on the Multi-PSI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Fourth International Conference, Melbourne, Victoria, Australia, May 25-29, 1987 (2 Volumes), pp. 257-275, 1987, MIT Press, 0-262-12125-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
26 | Takashi Chikayama, Yasunori Kimura |
Multiple Reference Management in Flat GHC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Fourth International Conference, Melbourne, Victoria, Australia, May 25-29, 1987 (2 Volumes), pp. 276-293, 1987, MIT Press, 0-262-12125-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
26 | Jacob Levy |
A GHC Abstract Machine and Instruction Set. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986, Proceedings, pp. 157-171, 1986, Springer, 3-540-16492-8. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
16 | Julien Brunel, Damien Doligez, René Rydhof Hansen, Julia L. Lawall, Gilles Muller |
A foundation for flow-based program matching: using temporal logic and model checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009, pp. 114-126, 2009, ACM, 978-1-60558-379-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
program matching, model checking, program transformation, ctl, bug finding |
16 | Tom Schrijvers, Louis-Julien Guillemette, Stefan Monnier |
Type invariants for Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLPV ![In: Proceedings of the 3rd ACM Workshop Programming Languages meets Program Verification, PLPV 2009, Savannah, GA, USA, January 20, 2009, pp. 39-48, 2009, ACM, 978-1-60558-330-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
type families, type functions, haskell, type checking |
16 | Arthur I. Baars, S. Doaitse Swierstra, Marcos Viera |
Typed transformations of typed abstract syntax. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLDI ![In: Proceedings of TLDI'09: 2009 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Savannah, GA, USA, January 24, 2009, pp. 15-26, 2009, ACM, 978-1-60558-420-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
typed transformations, type systems, meta-programming, gadt, common subexpression elimination |
16 | Jost Berthold, Abyd Al Zain, Hans-Wolfgang Loidl |
Scheduling Light-Weight Parallelism in ArTCoP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008., pp. 214-229, 2008, Springer, 978-3-540-77441-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
scheduling, Parallel computation, functional programming |
16 | Simon L. Peyton Jones |
Harnessing the Multicores: Nested Data Parallelism in Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems, 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings, pp. 138, 2008, Springer, 978-3-540-89329-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Tom Schrijvers, Simon L. Peyton Jones, Manuel M. T. Chakravarty, Martin Sulzmann |
Type checking with open type functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, ICFP 2008, Victoria, BC, Canada, September 20-28, 2008, pp. 51-62, 2008, ACM, 978-1-59593-919-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
type families, type functions, Haskell, type checking |
16 | Edmund S. L. Lam, Martin Sulzmann |
A concurrent constraint handling rules implementation in Haskell with software transactional memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAMP ![In: Proceedings of the POPL 2007 Workshop on Declarative Aspects of Multicore Programming, DAMP 2007, Nice, France, January 16, 2007, pp. 19-24, 2007, ACM, 978-1-59593-690-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
parallel implementation of concurrent language |
16 | Tim Harris 0001, Satnam Singh |
Feedback directed implicit parallelism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, October 1-3, 2007, pp. 251-264, 2007, ACM, 978-1-59593-815-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
functional programming, haskell, implicit parallelism |
16 | Jan Martin Jansen, Pieter W. M. Koopman, Rinus Plasmeijer |
From Interpretation to Compilation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CEFP ![In: Central European Functional Programming School, Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures, pp. 286-301, 2007, Springer, 978-3-540-88058-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Geoffrey Mainland |
Why it's nice to be quoted: quasiquoting for haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2007, Freiburg, Germany, September 30, 2007, pp. 73-82, 2007, ACM, 978-1-59593-674-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
quasiquoting, meta programming |
16 | Louis-Julien Guillemette, Stefan Monnier |
A type-preserving closure conversion in haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2007, Freiburg, Germany, September 30, 2007, pp. 83-92, 2007, ACM, 978-1-59593-674-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
compilation, higher-order abstract syntax, typed assembly language, de bruijn |
16 | Jost Berthold, Rita Loogen |
Parallel Coordination Made Explicit in a Functional Setting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation and Application of Functional Languages, 18th International Symp osium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers, pp. 73-90, 2006, Springer, 978-3-540-74129-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Stephanie Weirich |
RepLib: a library for derivable type classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2006, Portland, Oregon, USA, September 17, 2006, pp. 1-12, 2006, ACM, 1-59593-489-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
representation types, type-indexed programming, GADT, datatype-generic programming |
16 | Deling Ren, Martin Erwig |
A generic recursion toolbox for Haskell or: scrap your boilerplate systematically. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2006, Portland, Oregon, USA, September 17, 2006, pp. 13-24, 2006, ACM, 1-59593-489-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
traversal strategy, generic programming |
16 | Brian Huffman, John Matthews, Peter White |
Axiomatic Constructor Classes in Isabelle/HOLCF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings, pp. 147-162, 2005, Springer, 3-540-28372-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Thomas Hallgren, Mark P. Jones, Rebekah Leslie, Andrew P. Tolmach |
A principled approach to operating system construction in Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia, September 26-28, 2005, pp. 116-128, 2005, ACM, 1-59593-064-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
hardware interface, verification, operating systems, Haskell, monads, programming logic |
16 | Tim Harris 0001, Simon Marlow, Simon L. Peyton Jones |
Haskell on a shared-memory multiprocessor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2005, Tallinn, Estonia, September 30, 2005, pp. 49-61, 2005, ACM, 1-59593-071-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Ralf Lämmel, Simon L. Peyton Jones |
Scrap more boilerplate: reflection, zips, and generalised casts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, ICFP 2004, Snow Bird, UT, USA, September 19-21, 2004, pp. 244-255, 2004, ACM, 1-58113-905-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
type cast, reflection, generic programming, zippers |
16 | Denise W. Gürer |
Women in computing history. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGCSE Bull. ![In: ACM SIGCSE Bull. 34(2), pp. 116-120, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Kevin Glynn, Peter J. Stuckey, Martin Sulzmann, Harald Søndergaard |
Exception analysis for non-strict languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming (ICFP '02), Pittsburgh, Pennsylvania, USA, October 4-6, 2002., pp. 98-109, 2002, ACM, 1-58113-487-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Boolean constraints, non-strict functional programming languages, type inference, exceptions, effect systems |
16 | Meurig Sage |
FranTk - a declarative GUI language for Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), Montreal, Canada, September 18-21, 2000., pp. 106-117, 2000, ACM, 1-58113-202-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
graphical user interfaces, Haskell, Haskell, functional reactive programming |
16 | Yasuhiro Ajiro, Kazunori Ueda, Kenta Cho 0003 |
Error-Correcting Source Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP98, 4th International Conference, Pisa, Italy, October 26-30, 1998, Proceedings, pp. 40-54, 1998, Springer, 3-540-65224-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Silvia Breitinger, Ulrike Klusik, Rita Loogen, Yolanda Ortega-Mallén, Ricardo Pena |
DREAM: The DistRibuted Eden Abstract Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Implementation of Functional Languages ![In: Implementation of Functional Languages, 9th International Workshop, IFL'97, St. Andrews, Scotland, UK, September 10-12, 1997, Selected Papers, pp. 250-269, 1997, Springer, 3-540-64849-6. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Simon L. Peyton Jones |
Compiling Haskell by Program Transformation: A Report from the Trenches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - ESOP'96, 6th European Symposium on Programming, Linköping, Sweden, April 22-24, 1996, Proceedings, pp. 18-44, 1996, Springer, 3-540-61055-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Xiaoshu Qian, Qing Yang 0001 |
Load balancing on generalized hypercube and mesh multiprocessors with LAL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: 10th International Conference on Distributed Computing Systems (ICDCS 1991), May 20-24, 1991, Arlington, Texas, USA, pp. 402-409, 1991, IEEE Computer Society, 0-8186-2144-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Seif Haridi, Catuscia Palamidessi |
Structural Operational Semantics for Kernel Andorra Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARLE (2) ![In: PARLE '91: Parallel Architectures and Languages Europe, Volume II: Parallel Languages, Eindhoven, The Netherlands, June 10-13, 1991, Proceedings, pp. 238-253, 1991, Springer, 3-540-54152-7. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Jun'ichi Tatemura, Hidehiko Tanaka |
Debugger for a Parallel Logic Programming Language Fleng. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '89, Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989, pp. 87-96, 1989, Springer, 3-540-53919-0. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
16 | Hiroaki Numazaki, Naoyoshi Tamura, Hozumi Tanaka |
Paralle Generalized LP Parser based on Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '89, Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989, pp. 97-106, 1989, Springer, 3-540-53919-0. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
16 | Keith L. Clark |
PARLOG: The Language and Its Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARLE (2) ![In: PARLE, Parallel Architectures and Languages Europe, Volume II: Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings, pp. 30-53, 1987, Springer, 3-540-17945-3. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
16 | Hayato Ohwada, Fumio Mizoguchi |
Managing Search in Parallel Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '87, Proceedings of the 6th Conference, Tokyo, Japan, June 22-24, 1987, pp. 148-177, 1987, Springer, 3-540-19426-6. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|