Robert B. Findler: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Operational semantics for multi-language programs

Matthews, Jacob, Findler, Robert Bruce

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2009

Language:

english

File:

PDF, 923 KB

english, 2009

2

A programmable programming language

Felleisen, Matthias, Findler, Robert Bruce, Flatt, Matthew, Krishnamurthi, Shriram, Barzilay, Eli, McCarthy, Jay, Tobin-Hochstadt, Sam

Journal:

Communications of the ACM

Year:

2018

Language:

english

File:

PDF, 2.78 MB

english, 2018

3

Operational semantics for multi-language programs

Matthews, Jacob, Findler, Robert Bruce

Journal:

ACM SIGPLAN Notices

Year:

2007

Language:

english

File:

PDF, 570 KB

english, 2007

4

The structure and interpretation of the computer science curriculum

FELLEISEN, MATTHIAS, FINDLER, ROBERT BRUCE, FLATT, MATTHEW, KRISHNAMURTHI, SHRIRAM

Journal:

Journal of Functional Programming

Year:

2004

Language:

english

File:

PDF, 107 KB

english, 2004

5

How to evaluate the performance of gradual type systems

GREENMAN, BEN, TAKIKAWA, ASUMU, NEW, MAX S., FELTEY, DANIEL, FINDLER, ROBERT BRUCE, VITEK, JAN, FELLEISEN, MATTHIAS

Journal:

Journal of Functional Programming

Year:

2019

Language:

english

File:

PDF, 3.43 MB

english, 2019

6

Selectors Make Set-Based Analysis Too Hard

Philippe Meunier, Robert Bruce Findler, Paul Steckler, Mitchell Wand

Journal:

Higher-Order and Symbolic Computation

Year:

2005

Language:

english

File:

PDF, 1.61 MB

english, 2005

7

[ACM Press the 2007 symposium - Montreal, Quebec, Canada (2007.10.22-2007.10.22)] Proceedings of the 2007 symposium on Dynamic languages - DLS '07 - Relationally-parametric polymorphic contracts

Guha, Arjun, Matthews, Jacob, Findler, Robert Bruce, Krishnamurthi, Shriram

Year:

2007

Language:

english

File:

PDF, 418 KB

english, 2007

8

Correct blame for contracts

Dimoulas, Christos, Findler, Robert Bruce, Flanagan, Cormac, Felleisen, Matthias

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 587 KB

english, 2011

9

Fair enumeration combinators

NEW, MAX S., FETSCHER, BURKE, FINDLER, ROBERT BRUCE, MCCARTHY, JAY

Journal:

Journal of Functional Programming

Year:

2017

Language:

english

File:

PDF, 7.85 MB

english, 2017

10

POP-PL

Florence, Spencer P., Findler, Robert Bruce, Belknap, Steven M., Fetscher, Burke, Flatt, Matthew, Temps, William H., St-Amour, Vincent, Kiguradze, Tina, West, Dennis P., Niznik, Charlotte, Yarnold, Pa

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2018

Language:

english

File:

PDF, 8.62 MB

english, 2018

11

A heuristic approach to optimum experimental design

Nicholas V. Findler, Robert F. Cromp

Journal:

Computational Statistics & Data Analysis

Year:

1984

Language:

english

File:

PDF, 1.20 MB

english, 1984

12

A general-purpose man-machine environment with special reference to air traffic control

Nicholas V. Findler, Timothy W. Bickmore, Robert F. Cromp

Journal:

International Journal of Man-Machine Studies

Year:

1985

Language:

english

File:

PDF, 2.20 MB

english, 1985

13

Rapid Construction of Integrated Maps Using Inner Product Mapping: YAC Coverage of Human Chromosome 11

Mark W. Perlin, David J. Duggan, Katya Davis, Joan E. Farr, Robert B. Findler, Michael J. Higgins, Norma J. Nowak, Glen A. Evans, Shizhen Qin, Jialu Zhang, Thomas B. Shows, Michael R. James, Charles W

Journal:

Year:

1995

File:

PDF, 879 KB

1995

14

The Racket virtual machine and randomized testing

Klein, Casey, Flatt, Matthew, Findler, Robert Bruce

Journal:

Higher-Order and Symbolic Computation

Year:

2012

Language:

english

File:

PDF, 4.28 MB

english, 2012

15

[ACM Press the fourth ACM SIGPLAN international conference - Paris, France (1999.09.27-1999.09.29)] Proceedings of the fourth ACM SIGPLAN international conference on Functional programming - ICFP '99 - Programming languages as operating systems ( or revenge of the son of the lisp machine)

Flatt, Matthew, Findler, Robert Bruce, Krishnamurthi, Shriram, Felleisen, Matthias

Year:

1999

Language:

english

File:

PDF, 1.24 MB

english, 1999

16

Blame for all

Ahmed, Amal, Findler, Robert Bruce, Siek, Jeremy G., Wadler, Philip

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 593 KB

english, 2011

17

Super and inner

Goldberg, David S., Findler, Robert Bruce, Flatt, Matthew

Journal:

ACM SIGPLAN Notices

Year:

2004

Language:

english

File:

PDF, 177 KB

english, 2004

18

The TeachScheme! Project: Computing and Programming for Every Student

Felleisen, Matthias, Findler, Robert Bruce, Flatt, Matthew, Krishnamurthi, Shriram

Journal:

Computer Science Education

Year:

2004

Language:

english

File:

PDF, 737 KB

english, 2004

19

Special Issue Dedicated to ICFP 2012: Editorial

SINGH, SATNAM, FINDLER, ROBERT BRUCE

Journal:

Journal of Functional Programming

Year:

2014

Language:

english

File:

PDF, 179 KB

english, 2014

20

Macros that Work Together

FLATT, MATTHEW, CULPEPPER, RYAN, DARAIS, DAVID, FINDLER, ROBERT BRUCE

Journal:

Journal of Functional Programming

Year:

2012

Language:

english

File:

PDF, 8.37 MB

english, 2012

21

[ACM Press the 14th ACM SIGPLAN international conference - Edinburgh, Scotland (2009.08.31-2009.09.02)] Proceedings of the 14th ACM SIGPLAN international conference on Functional programming - ICFP '09 - Scribble

Flatt, Matthew, Barzilay, Eli, Findler, Robert Bruce

Year:

2009

Language:

english

File:

PDF, 632 KB

english, 2009

22

[ACM Press the 1st ACM SIGPLAN workshop - Copenhagen, Denmark (2012.09.15-2012.09.15)] Proceedings of the 1st ACM SIGPLAN workshop on Functional high-performance computing - FHPC '12 - Seeing the futures

Swaine, James, Fetscher, Burke, St-Amour, Vincent, Findler, Robert Bruce, Flatt, Matthew

Year:

2012

Language:

english

File:

PDF, 582 KB

english, 2012

23

[ACM Press the ACM international conference - Tucson, Arizona, USA (2012.10.19-2012.10.26)] Proceedings of the ACM international conference on Object oriented programming systems languages and applications - OOPSLA '12 - Chaperones and impersonators

Strickland, T. Stephen, Tobin-Hochstadt, Sam, Findler, Robert Bruce, Flatt, Matthew

Year:

2012

Language:

english

File:

PDF, 793 KB

english, 2012

24

[ACM Press the 19th ACM SIGPLAN international conference - Gothenburg, Sweden (2014.09.01-2014.09.06)] Proceedings of the 19th ACM SIGPLAN international conference on Functional programming - ICFP '14 - Behavioral software contracts

Findler, Robert Bruce

Year:

2014

Language:

english

File:

PDF, 443 KB

english, 2014

25

ICFP 2002

Findler, Robert Bruce, Felleisen, Matthias

Journal:

ACM SIGPLAN Notices

Year:

2013

Language:

english

File:

PDF, 297 KB

english, 2013

26

[ACM Press Proceeding of the 44th ACM technical symposium - Denver, Colorado, USA (2013.03.06-2013.03.09)] Proceeding of the 44th ACM technical symposium on Computer science education - SIGCSE '13 - Teaching garbage collection without implementing compiler or interpreters

Cooper, Gregory H., Guha, Arjun, Krishnamurthi, Shriram, McCarthy, Jay, Findler, Robert Bruce

Year:

2013

Language:

english

File:

PDF, 822 KB

english, 2013

27

Kill-safe synchronization abstractions

Flatt, Matthew, Findler, Robert Bruce

Journal:

ACM SIGPLAN Notices

Year:

2004

Language:

english

File:

PDF, 135 KB

english, 2004

28

Fine-grained interoperability through mirrors and contracts

Gray, Kathryn E., Findler, Robert Bruce, Flatt, Matthew

Journal:

ACM SIGPLAN Notices

Year:

2005

Language:

english

File:

PDF, 382 KB

english, 2005

29

[ACM Press the 2007 ACM SIGPLAN international conference - Freiburg, Germany (2007.10.01-2007.10.03)] Proceedings of the 2007 ACM SIGPLAN international conference on Functional programming - ICFP '07 - Adding delimited and composable control to a production programming environment

Flatt, Matthew, Yu, Gang, Findler, Robert Bruce, Felleisen, Matthias

Year:

2007

Language:

english

File:

PDF, 266 KB

english, 2007

30

A functional I/O system or, fun for freshman kids

Felleisen, Matthias, Findler, Robert Bruce, Flatt, Matthew, Krishnamurthi, Shriram

Journal:

ACM SIGPLAN Notices

Year:

2009

Language:

english

File:

PDF, 397 KB

english, 2009

31

[ACM Press the ACM international conference - Reno/Tahoe, Nevada, USA (2010.10.17-2010.10.21)] Proceedings of the ACM international conference on Object oriented programming systems languages and applications - OOPSLA '10 - Random testing for higher-order, stateful programs

Klein, Casey, Flatt, Matthew, Findler, Robert Bruce

Year:

2010

Language:

english

File:

PDF, 397 KB

english, 2010

32

Back to the futures

Swaine, James, Tew, Kevin, Dinda, Peter, Findler, Robert Bruce, Flatt, Matthew

Journal:

ACM SIGPLAN Notices

Year:

2010

Language:

english

File:

PDF, 14.63 MB

english, 2010

33

[ACM Press the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium - Vienna, Austria (2001.09.10-2001.09.14)] Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering - ESEC/FSE-9 - Behavioral contracts and behavioral subtyping

Findler, Robert Bruce, Latendresse, Mario, Felleisen, Matthias

Year:

2001

Language:

english

File:

PDF, 93 KB

english, 2001

34

[ACM Press the 14th ACM SIGPLAN international conference - Edinburgh, Scotland (2009.08.31-2009.09.02)] Proceedings of the 14th ACM SIGPLAN international conference on Functional programming - ICFP '09 - A functional I/O system or, fun for freshman kids

Felleisen, Matthias, Findler, Robert Bruce, Flatt, Matthew, Krishnamurthi, Shriram

Year:

2009

Language:

english

File:

PDF, 397 KB

english, 2009

35

[ACM Press the 38th annual ACM SIGPLAN-SIGACT symposium - Austin, Texas, USA (2011.01.26-2011.01.28)] Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '11 - Blame for all

Ahmed, Amal, Findler, Robert Bruce, Siek, Jeremy G., Wadler, Philip

Year:

2011

Language:

english

File:

PDF, 593 KB

english, 2011

36

[ACM Press the 38th annual ACM SIGPLAN-SIGACT symposium - Austin, Texas, USA (2011.01.26-2011.01.28)] Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '11 - Correct blame for contracts

Dimoulas, Christos, Findler, Robert Bruce, Flanagan, Cormac, Felleisen, Matthias

Year:

2011

Language:

english

File:

PDF, 587 KB

english, 2011

37

[ACM Press the 7th symposium - Portland, Oregon, USA (2011.10.24-2011.10.24)] Proceedings of the 7th symposium on Dynamic languages - DLS '11 - Places

Tew, Kevin, Swaine, James, Flatt, Matthew, Findler, Robert Bruce, pdinda@northwestern.edu, Peter Dinda

Year:

2011

Language:

english

File:

PDF, 1.24 MB

english, 2011

38

[ACM Press the third ACM SIGPLAN international conference - Baltimore, Maryland, United States (1998.09.26-1998.09.29)] Proceedings of the third ACM SIGPLAN international conference on Functional programming - ICFP '98 - Modular object-oriented programming with units and mixins

Findler, Robert Bruce, Flatt, Matthew

Year:

1998

Language:

english

File:

PDF, 1.25 MB

english, 1998

39

[ACM Press the ACM SIGPLAN 2004 conference - Washington DC, USA (2004.06.09-2004.06.11)] Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation - PLDI '04 - Kill-safe synchronization abstractions

Flatt, Matthew, Findler, Robert Bruce

Year:

2004

Language:

english

File:

PDF, 135 KB

english, 2004

40

[ACM Press the ACM international conference - Reno/Tahoe, Nevada, USA (2010.10.17-2010.10.21)] Proceedings of the ACM international conference on Object oriented programming systems languages and applications - OOPSLA '10 - Back to the futures

Swaine, James, Tew, Kevin, Dinda, Peter, Findler, Robert Bruce, Flatt, Matthew

Year:

2010

Language:

english

File:

PDF, 14.63 MB

english, 2010

41

[ACM Press the 16th ACM SIGPLAN conference - Tampa Bay, FL, USA (2001.10.14-2001.10.18)] Proceedings of the 16th ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications - OOPSLA '01 - Contract Soundness for object-oriented languages

Findler, Robert Bruce, Felleisen, Matthias

Year:

2001

Language:

english

File:

PDF, 185 KB

english, 2001

42

[ACM Press the 2013 ACM SIGPLAN international conference - Indianapolis, Indiana, USA (2013.10.29-2013.10.31)] Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications - OOPSLA '13 - Option contracts

Dimoulas, Christos, Findler, Robert Bruce, Felleisen, Matthias

Year:

2013

Language:

english

File:

PDF, 611 KB

english, 2013

43

[ACM Press the 20th annual ACM SIGPLAN conference - San Diego, CA, USA (2005.10.16-2005.10.20)] Proceedings of the 20th annual ACM SIGPLAN conference on Object oriented programming systems languages and applications - OOPSLA '05 - Fine-grained interoperability through mirrors and contracts

Gray, Kathryn E., Findler, Robert Bruce, Flatt, Matthew

Year:

2005

Language:

english

File:

PDF, 382 KB

english, 2005

44

[ACM Press the 39th annual ACM SIGPLAN-SIGACT symposium - Philadelphia, PA, USA (2012.01.25-2012.01.27)] Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '12 - Run your research

Klein, Casey, Findler, Robert Bruce, Clements, John, Dimoulas, Christos, Eastlund, Carl, Felleisen, Matthias, Flatt, Matthew, McCarthy, Jay A., Rafkind, Jon, Tobin-Hochstadt, Sam

Year:

2012

Language:

english

File:

PDF, 754 KB

english, 2012

45

DrScheme: a programming environment for Scheme

FINDLER, ROBERT BRUCE, CLEMENTS, JOHN, FLANAGAN, CORMAC, FLATT, MATTHEW, KRISHNAMURTHI, SHRIRAM, STECKLER, PAUL, FELLEISEN, MATTHIAS

Journal:

Journal of Functional Programming

Year:

2002

Language:

english

File:

PDF, 317 KB

english, 2002

46

An operational semantics for Scheme

MATTHEWS, JACOB, FINDLER, ROBERT BRUCE

Journal:

Journal of Functional Programming

Year:

2008

Language:

english

File:

PDF, 1.45 MB

english, 2008

47

Scribble

Flatt, Matthew, Barzilay, Eli, Findler, Robert Bruce

Journal:

ACM SIGPLAN Notices

Year:

2009

Language:

english

File:

PDF, 632 KB

english, 2009

48

Chaperones and impersonators

Strickland, T. Stephen, Tobin-Hochstadt, Sam, Findler, Robert Bruce, Flatt, Matthew

Journal:

ACM SIGPLAN Notices

Year:

2012

Language:

english

File:

PDF, 793 KB

english, 2012

49

Adding delimited and composable control to a production programming environment

Flatt, Matthew, Yu, Gang, Findler, Robert Bruce, Felleisen, Matthias

Journal:

ACM SIGPLAN Notices

Year:

2007

Language:

english

File:

PDF, 266 KB

english, 2007

50

Run your research

Klein, Casey, Findler, Robert Bruce, Clements, John, Dimoulas, Christos, Eastlund, Carl, Felleisen, Matthias, Flatt, Matthew, McCarthy, Jay A., Rafkind, Jon, Tobin-Hochstadt, Sam

Journal:

ACM SIGPLAN Notices

Year:

2012

Language:

english

File:

PDF, 754 KB

english, 2012