( en | de | ru )

 

Disambiguation of "Gill, Andy"

Author of the publication

copydeleteadd this publication to your clipboard
Types and associated type families for hardware simulation and synthesis - The internals and externals of Kansas Lava.

, , , , and . High. Order Symb. Comput., 25 (2-4): 255-274 (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Andrej Gill

Hartmut Gill

Albrecht Gill

Stanley Gill

Horst Gill

 

Other publications of authors with the same name

Asynchronous Exceptions as an Effect., , , and . MPC, volume 5133 of Lecture Notes in Computer Science, page 153-176. Springer, (2008)Type-safe observable sharing in Haskell.. Haskell, page 117-128. ACM, (2009)Composable network stacks and remote monads., , and . Haskell, page 86-97. ACM, (2017)Introducing the Haskell equational reasoning assistant.. Haskell, page 108-109. ACM, (2006)Avoiding Unnecessary Updates., , , , , and . Functional Programming, page 144-153. Springer, (1992)Handshaking in Kansas Lava Using Patch Logic., and . PADL, volume 7149 of Lecture Notes in Computer Science, page 212-226. Springer, (2012)On Adding Pattern Matching to Haskell-Based Deeply Embedded Domain Specific Languages., , and . PADL, volume 12548 of Lecture Notes in Computer Science, page 20-36. Springer, (2021)AFrame: A Domain Specific Language for Virtual Reality: Extended Abstract.. RWDSL@CGO, page 4. ACM, (2017)Every Animation Should Have a Beginning, a Middle, and an End - A Case Study of Using a Functor-Based Animation Language., and . Trends in Functional Programming, volume 6546 of Lecture Notes in Computer Science, page 150-165. Springer, (2010)Threading the Arduino with Haskell., and . TFP, volume 10447 of Lecture Notes in Computer Science, page 135-154. Springer, (2016)