Bruce - PDFSEARCH.IO - Document Search Engine

Bruce
Results: 10656

#	Item
11	Migratory Typing: Ten Years Later∗ Sam Tobin-Hochstadt1 , Matthias Felleisen2 , Robert Bruce Findler3 , Matthew Flatt4 , Ben Greenman5 , Andrew M. Kent6 , Vincent St-Amour7 , T. Stephen Strickland8 , and Asumu Takikawa Add to Reading List Source URL: www.ece.northwestern.edu Language: English - Date: 2017-05-11 23:26:18 Software engineering Computing Programming language theory Type theory Type systems Lambda calculus Subroutines Data types Gradual typing Racket Go Programming language
12	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
13	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
14	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
15	Cartoons show storms of controversy Talking Points Bruce Plante, Tulsa World / Courtesy of AAEC 1. How are these cartoonists using Add to Reading List Source URL: nieonline.com Language: English - Date: 2018-09-15 12:25:49 Visual arts Editorial cartoonist Joe Heller Cartoonist Cartoon Arts Association of American Editorial Cartoonists J. P. Trostle
16	Does the U.S. need a Space Force? Talking Points Bruce Plante, Tulsa World / Courtesy of AAEC Between the lines Add to Reading List Source URL: nieonline.com Language: English - Date: 2018-08-16 11:36:42 Editorial cartoonist AAEC Astronaut
17	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
18	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
19	Bruce Horn, WA7BNM Results: North American QSO Party, SSB — August 2010 N8OO captured first place from Louisiana in the Single Operator category of the Add to Reading List Source URL: ncjweb.com Language: English - Date: 2013-10-29 10:38:35
20	Bruce D. Mitchell Memorial Scholarship Application St. Andrew Society of Tallahassee INTRODUCTION AND FREQUENTLY ASKED QUESTIONS WHAT IS THE BRUCE D. MITCHELL SCHOLARSHIP? Add to Reading List Source URL: saintandrewtallahassee.org Language: English - Date: 2017-06-25 16:53:27