Eisenberg - PDFSEARCH.IO - Document Search Engine

Eisenberg
Results: 643

#	Item
1	Draft submitted for publication at ICFPSafe Zero-cost Coercions for Haskell Joachim Breitner Richard A. Eisenberg Add to Reading List Source URL: cs.brynmawr.edu Language: English - Date: 2016-08-22 17:26:25
2	A Dependent Haskell Triptych Richard A. Eisenberg Bryn Mawr College git clone --recursive Add to Reading List Source URL: cs.brynmawr.edu - Date: 2017-08-12 14:25:27
3	Levity Polymorphism (extended version) Richard A. Eisenberg Simon Peyton Jones Bryn Mawr College Add to Reading List Source URL: cs.brynmawr.edu Language: English - Date: 2016-11-17 15:03:49
4	The NCDXC Elmering Project Course Description for ‘Strategies for Successful QSLing’ Presenter: John Eisenberg K6YP January 27, 2018 at 7:00 pm Login available at 6:40 pm Add to Reading List Source URL: www.ncdxc.org Language: English - Date: 2017-08-28 18:08:51
5	Constrained Type Families (extended version) J. GARRETT MORRIS, The University of Edinburgh and The University of Kansas RICHARD A. EISENBERG, Bryn Mawr College We present an approach to support partiality in type-level Add to Reading List Source URL: ittc.ku.edu Language: English - Date: 2018-08-09 09:26:24
6	Gaining New and Wider Views by David Eisenberg Creating a new theory is not like destroying an old barn and erecting a skyscraper in its place. It is rather like climbing a mountain, gaining new and wider views, discover Add to Reading List Source URL: www.dcat.net Language: English - Date: 2012-04-02 20:47:09
7	Explaining Type Errors Brent Yorgey Richard Eisenberg Add to Reading List Source URL: ozark.hendrix.edu Language: English - Date: 2018-08-15 14:56:24
8	The NCDXC Elmering Project Course Description for ‘What Makes a Receiver Great?’ Presenter: John Eisenberg K6YP November 4, 2017 at 7:00 pm Login available at 6:40 pm Add to Reading List Source URL: www.ncdxc.org Language: English - Date: 2017-10-24 17:51:42
9	System FC with Explicit Kind Equality Stephanie Weirich Justin Hsu Richard A. Eisenberg Add to Reading List Source URL: cs.brynmawr.edu Language: English - Date: 2016-08-22 17:26:25
10	Explaining Type Errors Brent A. Yorgey Richard A. Eisenberg Harley D. Eades III Add to Reading List Source URL: metatheorem.org Language: English - Date: 2018-08-14 14:33:44