Search results for "GHC"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
106	Koichi Furukawa, Kazunori Ueda	GHC - A Language for a New Age of Parallel Programming.	FSTTCS	1988	DBLP DOI BibTeX RDF
90	Kazuko Takahashi, Tadashi Kanamori	On Parallel Programming Methodology in GHC.	LP	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.	LP	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.	Haskell	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.	Haskell	2007	DBLP DOI BibTeX RDF	concurrency, transactional memory, haskell, thread
74	Kazunori Ueda	A Pure Meta-interpreter for Flat GHC, a Concurrent Constraint Language.	Computational Logic: Logic Programming and Beyond	2002	DBLP DOI BibTeX RDF
62	Hamish Taylor	A Lingua Franca For Concurrent Logic Programming.	IEEE Trans. Software Eng.	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.	DEXA Workshops	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.	XRDS	2021	DBLP DOI BibTeX RDF
48	Simon Marlow, Alexey Rodriguez Yakushev, Simon L. Peyton Jones	Faster laziness using dynamic pointer tagging.	ICFP	2007	DBLP DOI BibTeX RDF
48	Frank Huch, Frank Kupke	A High-Level Implementation of Composable Memory Transactions in Concurrent Haskell.	IFL	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.	ISMM	2004	DBLP DOI BibTeX RDF	non-stop haskell, incremental garbage collection
48	Masaki Murakami	Proving Partial Correctness of Guarded Horn Clauses Programs.	LP	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.	Haskell	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.	APLAS	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.	SAC	2004	DBLP DOI BibTeX RDF
32	José Pedro Magalhães, Stefan Holdermans, Johan Jeuring, Andres Löh	Optimizing generics is easy!	PEPM	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.	Haskell	2009	DBLP DOI BibTeX RDF	parallel profiling, functional programming
32	Louis-Julien Guillemette, Stefan Monnier	A type-preserving compiler in Haskell.	ICFP	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.	Haskell	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.	GCC	2005	DBLP DOI BibTeX RDF
32	Krasimir Angelov, Simon Marlow	Visual haskell: a full-featured haskell development environment.	Haskell	2005	DBLP DOI BibTeX RDF	haskell development environment, visual studio
32	Kevin Glynn, Peter J. Stuckey, Martin Sulzmann	Effective Strictness Analysis with HORN Constraints.	SAS	2001	DBLP DOI BibTeX RDF
32	Kazunori Ueda	Resource-Passing Concurrent Programming.	TACS	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.	IFL	1998	DBLP DOI BibTeX RDF
32	Steven D. Young, Sudhakar Yalamanchili	Adaptive routing in generalized hypercube architectures.	SPDP	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.	MFCS	1989	DBLP DOI BibTeX RDF
30	Adrian Avenarius, Siegfried Oppermann	FWEB: A Literate Programming System for Fortran8x.	ACM SIGPLAN Notices	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.	FUNARCH	2023	DBLP DOI BibTeX RDF
26	Ruairidh MacGregor, Phil Trinder, Hans-Wolfgang Loidl	Improving GHC Haskell NUMA profiling.	FHPNC@ICFP	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.	IFL	2017	DBLP DOI BibTeX RDF
26	Mark Grebe, David Young, Andy Gill	Rewriting a shallow DSL using a GHC compiler extension.	GPCE	2017	DBLP DOI BibTeX RDF
26	Angelo Lucia	Some properties of the GHC equation of state.	Comput. Chem. Eng.	2016	DBLP DOI BibTeX RDF
26	Henrique Ferreiro, Laura M. Castro, Vladimir Janjic, Kevin Hammond	Kindergarten cop: dynamic nursery resizing for GHC.	CC	2016	DBLP DOI BibTeX RDF
26	Adam Gundry	A typechecker plugin for units of measure: domain-specific constraint solving in GHC Haskell.	Haskell	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.	Haskell	2015	DBLP DOI BibTeX RDF
26	Carsten Bormann	6LoWPAN-GHC: Generic Header Compression for IPv6 over Low-Power Wireless Personal Area Networks (6LoWPANs).	RFC	2014	DBLP DOI BibTeX RDF
26	Christian Sternagel	Proof Pearl - A Mechanized Proof of GHC's Mergesort.	J. Autom. Reason.	2013	DBLP DOI BibTeX RDF
26	Andreas Voellmy, Junchang Wang, Paul Hudak, Kazuhiko Yamamoto	Mio: a high-performance multicore io manager for GHC.	Haskell	2013	DBLP DOI BibTeX RDF
26	Janet Davis	GHC spotlight: Jane Margolis, unlocking the clubhouse 10 years later.	ACM SIGCSE Bull.	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.	IFL	2012	DBLP DOI BibTeX RDF
26	Stephanie Weirich	Dependently-Typed Programming in GHC.	FLOPS	2012	DBLP DOI BibTeX RDF
26	Rubén Monjaraz, Julio Mariño	From the π-calculus to flat GHC.	PPDP	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.	Haskell	2012	DBLP DOI BibTeX RDF
26	Bryan O'Sullivan, Johan Tibell	Scalable i/o event handling for GHC.	Haskell	2010	DBLP DOI BibTeX RDF
26	David A. Terei, Manuel M. T. Chakravarty	An llVM backend for GHC.	Haskell	2010	DBLP DOI BibTeX RDF
26	László Németh	Experiments with GHC's optimiser.	Trends in Functional Programming	2004	DBLP BibTeX RDF
26	M. R. K. Krishna Rao, Deepak Kapur, R. K. Shyamasundar	Proving Termination of GHC Programs.	New Gener. Comput.	1997	DBLP DOI BibTeX RDF
26	Keiji Hirata 0001	Proving Correctness of Translation from Moded Flat GHC to Pi-Calculus.	ICLP	1995	DBLP BibTeX RDF
26	Kazunori Ueda, Masao Morita	Moded Flat GHC and Its Message-Oriented Implementation Technique.	New Gener. Comput.	1994	DBLP DOI BibTeX RDF
26	Kazunori Ueda	The Mode System of Moded Flat GHC.	Specification of Parallel Algorithms	1994	DBLP DOI BibTeX RDF
26	Kazunori Ueda, Masao Morita	Message-Oriented Parallel Implementation of Moded Flat GHC.	New Gener. Comput.	1993	DBLP DOI BibTeX RDF
26	M. R. K. Krishna Rao, Deepak Kapur, R. K. Shyamasundar	Proving Termination of GHC Programs.	ICLP	1993	DBLP BibTeX RDF
26	Kazunori Ueda, Masao Morita	Message-Oriented Parallel Implementation of Moded Flat GHC.	FGCS	1992	DBLP BibTeX RDF
26	Lutz Plümer	Automatic Verification of GHC-Programs: Termination.	FGCS	1992	DBLP BibTeX RDF
26	Kazunori Ueda, Masao Morita	A New Implementation Technique for Flat GHC.	ICLP	1990	DBLP BibTeX RDF
26	Koichi Furukawa, Akira Okumura, Masaki Murakami	Unfolding Rules for GHC Programs.	New Gener. Comput.	1988	DBLP DOI BibTeX RDF
26	Hamish Taylor	Localizing the GHC Suspension Test.	ICLP/SLP	1988	DBLP BibTeX RDF
26	Hiroshi Fujita, Akira Okumura, Koichi Furukawa	Partial Evaluation of GHC Programs Based on the UR-set with Constraints.	ICLP/SLP	1988	DBLP BibTeX RDF
26	Martin Nilsson 0001, Hidehiko Tanaka	A Flat GHC Implementation for Supercomputers.	ICLP/SLP	1988	DBLP BibTeX RDF
26	Jiro Tanaka	Meta-Interpreters and Reflective Operations in GHC.	FGCS	1988	DBLP BibTeX RDF
26	Martin Nilsson 0001, Hidehiko Tanaka	Massively Parallel Implementation of Flat GHC on the Connection Machine.	FGCS	1988	DBLP BibTeX RDF
26	Kazunori Ueda, Koichi Furukawa	Transformation Rules for GHC Programs.	FGCS	1988	DBLP BibTeX RDF
26	John R. W. Glauert, George A. Papadopoulos	A Parallel Implementation of GHC.	FGCS	1988	DBLP BibTeX RDF
26	Minoru Terada	Implementation of Full GHC by Communicating Processes.	LP	1988	DBLP BibTeX RDF
26	Jiro Tanaka	A Simple Programming System Written in GHC and its Reflective Operations.	LP	1988	DBLP BibTeX RDF
26	Vijay A. Saraswat	GHC: Operational Semantics, Problems, and Relationships with CP(\|, \|).	SLP	1987	DBLP BibTeX RDF
26	M. Ichiyoshi, T. Miyazaki, Kazuo Taki	A Distributed Implementation of Flat GHC on the Multi-PSI.	ICLP	1987	DBLP BibTeX RDF
26	Takashi Chikayama, Yasunori Kimura	Multiple Reference Management in Flat GHC.	ICLP	1987	DBLP BibTeX RDF
26	Jacob Levy	A GHC Abstract Machine and Instruction Set.	ICLP	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.	POPL	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.	PLPV	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.	TLDI	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.	PADL	2008	DBLP DOI BibTeX RDF	scheduling, Parallel computation, functional programming
16	Simon L. Peyton Jones	Harnessing the Multicores: Nested Data Parallelism in Haskell.	APLAS	2008	DBLP DOI BibTeX RDF
16	Tom Schrijvers, Simon L. Peyton Jones, Manuel M. T. Chakravarty, Martin Sulzmann	Type checking with open type functions.	ICFP	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.	DAMP	2007	DBLP DOI BibTeX RDF	parallel implementation of concurrent language
16	Tim Harris 0001, Satnam Singh	Feedback directed implicit parallelism.	ICFP	2007	DBLP DOI BibTeX RDF	functional programming, haskell, implicit parallelism
16	Jan Martin Jansen, Pieter W. M. Koopman, Rinus Plasmeijer	From Interpretation to Compilation.	CEFP	2007	DBLP DOI BibTeX RDF
16	Geoffrey Mainland	Why it's nice to be quoted: quasiquoting for haskell.	Haskell	2007	DBLP DOI BibTeX RDF	quasiquoting, meta programming
16	Louis-Julien Guillemette, Stefan Monnier	A type-preserving closure conversion in haskell.	Haskell	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.	IFL	2006	DBLP DOI BibTeX RDF
16	Stephanie Weirich	RepLib: a library for derivable type classes.	Haskell	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.	Haskell	2006	DBLP DOI BibTeX RDF	traversal strategy, generic programming
16	Brian Huffman, John Matthews, Peter White	Axiomatic Constructor Classes in Isabelle/HOLCF.	TPHOLs	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.	ICFP	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.	Haskell	2005	DBLP DOI BibTeX RDF
16	Ralf Lämmel, Simon L. Peyton Jones	Scrap more boilerplate: reflection, zips, and generalised casts.	ICFP	2004	DBLP DOI BibTeX RDF	type cast, reflection, generic programming, zippers
16	Denise W. Gürer	Women in computing history.	ACM SIGCSE Bull.	2002	DBLP DOI BibTeX RDF
16	Kevin Glynn, Peter J. Stuckey, Martin Sulzmann, Harald Søndergaard	Exception analysis for non-strict languages.	ICFP	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.	ICFP	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.	CP	1998	DBLP DOI BibTeX RDF
16	Silvia Breitinger, Ulrike Klusik, Rita Loogen, Yolanda Ortega-Mallén, Ricardo Pena	DREAM: The DistRibuted Eden Abstract Machine.	Implementation of Functional Languages	1997	DBLP DOI BibTeX RDF
16	Simon L. Peyton Jones	Compiling Haskell by Program Transformation: A Report from the Trenches.	ESOP	1996	DBLP DOI BibTeX RDF
16	Xiaoshu Qian, Qing Yang 0001	Load balancing on generalized hypercube and mesh multiprocessors with LAL.	ICDCS	1991	DBLP DOI BibTeX RDF
16	Seif Haridi, Catuscia Palamidessi	Structural Operational Semantics for Kernel Andorra Prolog.	PARLE (2)	1991	DBLP DOI BibTeX RDF
16	Jun'ichi Tatemura, Hidehiko Tanaka	Debugger for a Parallel Logic Programming Language Fleng.	LP	1989	DBLP DOI BibTeX RDF
16	Hiroaki Numazaki, Naoyoshi Tamura, Hozumi Tanaka	Paralle Generalized LP Parser based on Logic Programming.	LP	1989	DBLP DOI BibTeX RDF
16	Keith L. Clark	PARLOG: The Language and Its Applications.	PARLE (2)	1987	DBLP DOI BibTeX RDF
16	Hayato Ohwada, Fumio Mizoguchi	Managing Search in Parallel Logic Programming.	LP	1987	DBLP DOI BibTeX RDF