Posts By: Steven StewartGallus
| Date | Post | Topic |
| 03/12/2012 | What work in FRP models programs which can change the type of output and input they have? | What work in FRP models programs which can change the type of output and input they have? |
| 12/15/2011 | What is this type of type called? | What is this type of type called? |
| 12/17/2011 | That example was a simplification | What is this type of type called? |
| 12/10/2011 | Some things seem tricky to translate | Designing a languge — what theory is a must? |
| 12/03/2011 | Proofs of a type system's safety? | Proofs of a type system's safety? |
| 12/03/2011 | I'm not sure this is what I'm looking for | Proofs of a type system's safety? |
| 12/04/2011 | Doh! So it's universal quantification, not existential. | Proofs of a type system's safety? |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |