Robert Bruce Findler - PDFSEARCH.IO - Document Search Engine

Robert Bruce Findler
Results: 68

#	Item
1	Scribble: Closing the Book on Ad Hoc Documentation Tools Matthew Flatt Eli Barzilay Robert Bruce Findler Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2009-06-08 10:08:06 Software engineering Computing Computer programming Object-oriented programming languages Functional languages Programming languages Lisp Cross-platform software Racket Scheme Literate programming Anonymous function
2	Slideshow: Functional Presentations Robert Bruce Findler Matthew Flatt University of Chicago Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2004-07-07 16:55:57 Discworld Literature Fiction Angua Ankh-Morpork Troll Discworld books PICT Brutha Ankh-Morpork City Watch
3	A Coq Library For Internal Verification of Running-Times Jay McCarthy University of Massachusetts at Lowell Burke Fetscher, Max S. New, Daniel Feltey, Robert Bruce Findler Northwestern University Add to Reading List Source URL: jeapostrophe.github.io Language: English - Date: 2018-10-23 12:14:23 Computer programming Software engineering Type theory Computing Functional programming Adjoint functors Monad HindleyMilner type system Variety Redblack tree List
4	A Coq Library For Internal Verification of Running-Times Jay McCarthy University of Massachusetts at Lowell Burke Fetscher, Max S. New, Daniel Feltey, Robert Bruce Findler Northwestern University Add to Reading List Source URL: jeapostrophe.github.io Language: English - Date: 2018-10-23 12:14:23 Computer programming Software engineering Type theory Computing Functional programming Adjoint functors Monad HindleyMilner type system Variety Redblack tree List
5	Oh Lord, Please Don’t Let Contracts Be Misunderstood (Functional Pearl) Christos Dimoulas, Max S. New, Robert Bruce Findler, Matthias Felleisen PLT, USA {chrdimo,maxsnew,robby,matthias}@racket-lang.org Add to Reading List Source URL: www.ece.northwestern.edu Language: English - Date: 2016-08-09 10:09:16 Software engineering Computer programming Computing Object-oriented programming languages Combinatory logic Design by contract Enumerated type Eiffel Objective-C Contract Scope Exception handling
6	Extensible Access Control with Authorization Contracts Scott Moore Christos Dimoulas Robert Bruce Findler Add to Reading List Source URL: www.ece.northwestern.edu Language: English - Date: 2016-10-10 16:16:25 Computability theory Models of computation Theoretical computer science Software engineering Scope Lambda calculus Computing
7	1 Herbarium Racketensis: A Stroll through the Woods (Functional Pearl) VINCENT ST-AMOUR, DANIEL FELTEY, SPENCER P. FLORENCE, SHU-HUNG YOU, and ROBERT BRUCE FINDLER, PLT @ Northwestern University, USA Add to Reading List Source URL: www.ece.northwestern.edu Language: English - Date: 2017-07-17 18:35:27 Mathematics Algebra Fractals L-system Fractal curves Hygienic macro Arity Constructible universe
8	Collapsible Contracts: Fixing a Pathology of Gradual Typing DANIEL FELTEY, Northwestern University, USA BEN GREENMAN, Northeastern University, USA CHRISTOPHE SCHOLLIERS, Ghent University, Belgium ROBERT BRUCE FINDLER, No Add to Reading List Source URL: users.eecs.northwestern.edu Language: English - Date: 2018-10-25 09:39:05 Algebra Vectors Mathematics Vector calculus Linear algebra Abstract algebra Euclidean vector Vector Position
9	Extensible Access Control with Authorization Contracts Scott Moore Christos Dimoulas Robert Bruce Findler Add to Reading List Source URL: people.seas.harvard.edu Language: English - Date: 2016-08-26 17:52:09
10	1 Herbarium Racketensis: A Stroll through the Woods (Functional Pearl) VINCENT ST-AMOUR, DANIEL FELTEY, SPENCER P. FLORENCE, SHU-HUNG YOU, and ROBERT BRUCE FINDLER, PLT @ Northwestern University, USA Add to Reading List Source URL: florence.io - Date: 2017-08-17 15:17:55