Andy Gill - RankMe

41 papers A 4B 2C 16Misc 1Journal 6Unranked 11

Year	Rank	Type	Title / Venue / Authors
2021	C	`conf`	On Adding Pattern Matching to Haskell-Based Deeply Embedded Domain Specific Languages. PADL David Young, Mark Grebe, Andy Gill
2017	—	`conf`	AFrame: A Domain Specific Language for Virtual Reality: Extended Abstract. RWDSL@CGO Andy Gill
2017	C	`conf`	Composable network stacks and remote monads. Haskell Justin Dawson, Mark Grebe, Andy Gill
2017	B	`conf`	Rewriting a shallow DSL using a GHC compiler extension. GPCE Mark Grebe, David Young, Andy Gill
2016	C	`conf`	Haskino: A Remote Monad for Programming the Arduino. PADL Mark Grebe, Andy Gill
2016	—	`conf`	Threading the Arduino with Haskell. TFP Mark Grebe, Andy Gill
2015	C	`conf`	Reasoning with the HERMIT: tool support for equational reasoning on GHC core programs. Haskell Andrew Farmer, Neil Sculthorpe, Andy Gill
2015	C	`conf`	The remote monad design pattern. Haskell Andy Gill, Neil Sculthorpe, Justin Dawson, Aleksander Eskilson, Andrew Farmer, Mark Grebe, Jeffrey Rosenbluth, Ryan Scott, James Stanton
2014	J	`jnl`	Domain-specific Languages and Code Synthesis Using Haskell. ACM Queue Andy Gill
2014	J	`jnl`	Domain-specific languages and code synthesis using Haskell. Commun. ACM Andy Gill
2014	C	`conf`	Sunroof: A Monadic DSL for Generating JavaScript. PADL Jan Bracker, Andy Gill
2014	C	`conf`	The HERMIT in the stream: fusing stream fusion's concatMap. PEPM Andrew Farmer, Christian Höner zu Siederdissen, Andy Gill
2014	J	`jnl`	The Kansas University rewrite engine - A Haskell-Embedded Strategic Programming Language with Custom Closed Universes. J. Funct. Program. Neil Sculthorpe, Nicolas Frisby, Andy Gill
2013	A	`conf`	The constrained-monad problem. ICFP Neil Sculthorpe, Jan Bracker, George Giorgidze, Andy Gill
2012	—	`conf`	A pattern for almost homomorphic functions. WGP@ICFP Nicolas Frisby, Andy Gill, Perry Alexander
2012	C	`conf`	Handshaking in Kansas Lava Using Patch Logic. PADL Andy Gill, Bowe Neuenschwander
2012	—	`ed.`	Implementation and Application of Functional Languages - 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers IFL Andy Gill, Jurriaan Hage
2012	—	`conf`	The HERMIT in the Tree - Mechanizing Program Transformations in the GHC Core Language. IFL Neil Sculthorpe, Andrew Farmer, Andy Gill
2012	C	`conf`	The HERMIT in the machine: a plugin for the interactive transformation of GHC core language programs. Haskell Andrew Farmer, Andy Gill, Ed Komp, Neil Sculthorpe
2012	J	`jnl`	Types and associated type families for hardware simulation and synthesis - The internals and externals of Kansas Lava. High. Order Symb. Comput. Andy Gill, Tristan Bull, Andrew Farmer, Garrin Kimmell, Ed Komp
2011	A	`conf`	Deriving an efficient FPGA implementation of a low density parity check forward error corrector. ICFP Andy Gill, Andrew Farmer
2011	Misc	`conf`	Using Functional Programming to Generate an LDPC Forward Error Corrector. FCCM Andy Gill, Tristan Bull, Daniel DePardo, Andrew Farmer, Ed Komp, Erik Perrins
2010	—	`conf`	Every Animation Should Have a Beginning, a Middle, and an End - A Case Study of Using a Functor-Based Animation Language. Trends in Functional Programming Kevin Matlage, Andy Gill
2010	J	`jnl`	Factorising folds for faster functions. J. Funct. Program. Graham Hutton, Mauro Jaskelioff, Andy Gill
2010	—	`conf`	Types and Type Families for Hardware Simulation and Synthesis - The Internals and Externals of Kansas Lava. Trends in Functional Programming Andy Gill, Tristan Bull, Andrew Farmer, Garrin Kimmell, Ed Komp
2010	—	`conf`	What's the Matter with Kansas Lava? Trends in Functional Programming Andrew Farmer, Garrin Kimmell, Andy Gill
2009	—	`conf`	A Haskell Hosted DSL for Writing Transformation Systems. DSL Andy Gill
2009	—	`conf`	ChalkBoard: Mapping Functions to Polygons. IFL Kevin Matlage, Andy Gill
2009	—	`conf`	Introducing Kansas Lava. IFL Andy Gill, Tristan Bull, Garrin Kimmell, Erik Perrins, Ed Komp, Brett Werling
2009	C	`ed.`	Practical Aspects of Declarative Languages, 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings PADL Andy Gill, Terrance Swift
2009	J	`jnl`	The worker/wrapper transformation. J. Funct. Program. Andy Gill, Graham Hutton
2009	C	`conf`	Type-safe observable sharing in Haskell. Haskell Andy Gill
2008	B	`conf`	Asynchronous Exceptions as an Effect. MPC William L. Harrison, Gerard Allwein, Andy Gill, Adam M. Procter
2008	C	`ed.`	Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, Haskell 2008, Victoria, BC, Canada, 25 September 2008 Haskell Andy Gill
2008	—	`conf`	Unrestricted pure call-by-value recursion. ML Johan Nordlander, Magnus Carlsson, Andy Gill
2007	C	`conf`	A lightweight interactive debugger for haskell. Haskell Simon Marlow, José Iborra, Bernard J. Pope, Andy Gill
2007	C	`conf`	Haskell program coverage. Haskell Andy Gill, Colin Runciman
2006	C	`conf`	Introducing the Haskell equational reasoning assistant. Haskell Andy Gill
2000	C	`conf`	Debugging Haskell by Observing Intermediate Data Structures. Haskell Andy Gill
1995	A	`conf`	The Technology Behind a Graphical User Interface for an Equational Reasoning Assistant. Functional Programming Andy Gill
1992	A	`conf`	Avoiding Unnecessary Updates. Functional Programming John Launchbury, Andy Gill, John Hughes, Simon Marlow, Simon L. Peyton Jones, Philip Wadler